PhD student in Dependent Type Theory, Faculty of Science
The University of Nottingham
School of Computer Science
Nottingham, NG7 1BB
telephone: +44 (0) 115 95 14220
Connect with the University of Nottingham through social media and our blogs.
Campus maps | More contact information | Jobs
Browser does not support script.