Till Rampe School of Computer ScienceResearch Student Contact details Emailtxr321@student.bham.ac.uk AddressSchool of Computer ScienceUniversity of BirminghamEdgbastonBirminghamB15 2TT In his PhD project, Till Rampe is working on higher generalised algebraic theories. He studied Mathematics at TU Darmstadt (Germany), where he wrote his Master's thesis on higher topos theory under the supervision of Thomas Streicher. Qualifications MSc Mathematics (TU Darmstadt, Germany) BSc Mathematics (TU Darmstadt, Germany) Teaching Classical & Non-Classical Model Theory (TU Darmstadt, 2022/2023) Doctoral research SupervisorsDr Eric Finster and Professor Martin Escardo Research Homotopy type theory Higher structures Synthetic differential geometry