Lab directory
Prof. Thorsten Altenkirch — Research Profile
University of Nottingham · School of Computer Science
This research profile is based on public faculty information. An independent lab and student recruitment have not yet been verified.
Information sourceChecked Oct 31, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs, and keep your contact prep in one place.
What to prepare before emailing a PIAbout
Prof. Thorsten Altenkirch at University of Nottingham School of Computer Science lists constructive logic, Type Theory, Category Theory, typed lambda calculi, Quantum Computation as their registered research area.
Research keywords
constructive logicType TheoryCategory Theorytyped lambda calculiQuantum Computation
Other labs in this department
- Adam Walker Lab
- Aislinn Gomez Bergin Lab
emerging technologies, mental health, Responsible Research and Innovation, Large Language Models
- Alexander Turner Lab
movement disorders, gait and ambulation, transparent machine learning models
- Alfie Cameron Lab
responsibility and ethics in technologies, EDI, justice, RRI
- Aly Magassouba Lab
collaborative robots, natural language processing, multimodal models
- Andrew Crabtree Lab