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 Associate
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
Hewer, Brandon	n/a
Neumann, Jacob	n/a	PHD Student
Pickard, Mitchell	n/a	PhD Student
Pinyo, Gun	n/a	PhD student in Dependent Type Theory
Pradal, Stiephen	n/a	PhD in Homotopy Type Theory
Schipp von Branitz, Johannes	n/a	PhD Computer Science
Sestini, Filippo	n/a

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
De Jong, Tom	n/a	Research Associate
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
P
Pickard, Mitchell	n/a	PhD Student
Pinyo, Gun	n/a	PhD student in Dependent Type Theory
Pradal, Stiephen	n/a	PhD in Homotopy Type Theory
S
Schipp von Branitz, Johannes	n/a	PhD Computer Science
Sestini, Filippo	n/a

A