Professor Thorsten Altenkirch
- [email protected]
- Title
- Professor of Computer Science
- Department
- Computer Science
Modules Convened
- Languages and Computation (COMP2012)
- Introduction to Formal Reasoning (COMP2065)
- Programs, Proofs and Types (COMP4074)
Last updated 09/01/2025.