People - The University of Nottingham

Name	Telephone	Job Description
Other Academic
Altenkirch, Thorsten	n/a	Professor of Computer Science
Buchholtz, Ulrik	n/a	Assistant Professor
de Jong, Tom	n/a	Research Fellow
Hutton, Graham	n/a	Professor of Computer Science
Kraus, Nicolai	n/a	Professor of Theoretical Computer Science, and Royal Society University Research Fellow
Marsden, Dan	n/a	Transitional Assistant Professor

Name	Telephone	Job Description
Postgraduate Students
Baston, Colm	n/a	PhD Student
Chen, Joshua	n/a	PhD student
Damato, Stefania	n/a	PhD student
Garby, Zac	n/a	PhD Student in Functional Programming
Mohammadzadeh, Aref	n/a
Neumann, Jacob	n/a	PhD Student - Functional Programming Lab
Pickard, Mitchell	n/a	PhD Student
Pradal, Stiephen	n/a	PhD in Homotopy Type Theory
Schipp von Branitz, Johannes	n/a	PhD Computer Science
Williams, Mark	n/a	PhD Computer Science
Wilshaw, Sky	n/a	PhD Student

Name	Telephone	Job Description
A
Altenkirch, Thorsten	n/a	Professor of Computer Science
B
Baston, Colm	n/a	PhD Student
Buchholtz, Ulrik	n/a	Assistant Professor
C
Chen, Joshua	n/a	PhD student
D
Damato, Stefania	n/a	PhD student
G
Garby, Zac	n/a	PhD Student in Functional Programming
H
Hutton, Graham	n/a	Professor of Computer Science
K
Kraus, Nicolai	n/a	Professor of Theoretical Computer Science, and Royal Society University Research Fellow
M
Marsden, Dan	n/a	Transitional Assistant Professor
Mohammadzadeh, Aref	n/a
N
Neumann, Jacob	n/a	PhD Student - Functional Programming Lab
P
Pickard, Mitchell	n/a	PhD Student
Pradal, Stiephen	n/a	PhD in Homotopy Type Theory
S
Schipp von Branitz, Johannes	n/a	PhD Computer Science
W
Williams, Mark	n/a	PhD Computer Science
Wilshaw, Sky	n/a	PhD Student
d
de Jong, Tom	n/a	Research Fellow

A