Tobias Schmude

Tobias Schmude

School of Computer Science
Research Student

Contact details

Address
School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT

Qualifications

  • MSc in Mathematical Physics
  • BSc in Physics

Teaching

  • 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)

Doctoral research

PhD title
Directed Homotopy Type Theory as a Synthetic Theory of ω-Categories
Supervisors
Dr Benedikt Ahrens and Dr Paul Levy

Research

  • (Directed) Homotopy Type Theory
  • Categorical Semantics of Type Theory