Tobias Schmude
![Tobias Schmude](/images/college-eps-only/comp-sci/staff/research-student/schmude-tobias-cropped-230x230.jpg?quality=80&width=411)
School of Computer Science
Research Student
Contact details
- Address
- School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
- MSc in Mathematical Physics
- BSc in Physics
- Algorithms and Complexity (February to June 2022)
- Mathematical and Logical Foundations of Computer Science (September 2021 to January 2022)
- Theories of Computation (February to June 2021)
- (Directed) Homotopy Type Theory
- Categorical Semantics of Type Theory