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	0115 951 4220	Professor of Computer Science
Kraus, Nicolai	n/a	Royal Society University Research Fellow & Associate Professor
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
Hewer, Brandon	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

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
Hewer, Brandon	n/a
Hutton, Graham	0115 951 4220	Professor of Computer Science
K
Kraus, Nicolai	n/a	Royal Society University Research Fellow & Associate Professor
M
Marsden, Dan	n/a	Transitional Assistant Professor
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
d
de Jong, Tom	n/a	Research Fellow

A