Name:	Dr T Altenkirch
Organisation:	University of Nottingham
Department:	School of Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/M016994/1 Homotopy Type Theory: Programming and Verification (P) EP/G03298X/1 Theory And Applications of Induction Recursion (P) EP/G034109/1 Reusability and Dependent Types (P) GR/T06087/02 Midlands Graduate School in the Foundations of Computer Science (C) EP/C511964/2 Theory and Applications Of Containers (C) EP/C511964/1 Theory and Applications Of Containers (C) EP/C512022/1 Observational Equality For Dependently Typed Programming (P) GR/T06087/01 Midlands Graduate School in the Foundations of Computer Science (C) GR/S30818/01 Modelling Irreversible Quantum Computation (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator