Back to advisors
GF
Gregor Feierabend
PhD Student · Department of Computer Science and Technology
University of Cambridge · United KingdomCategory TheoryLogicFormal LanguagesCompilersProgramming LanguagesSemanticsVerification
Data verified 9/6/2026Source