Back to advisors
BH
Bea Healy
PhD Student · Department of Computer Science and Technology
University of Cambridge · United KingdomProgramming LanguagesSemantics and VerificationComputer Architecture
Data verified 9/6/2026Source
PhD Student · Department of Computer Science and Technology
University of Cambridge · United KingdomData verified 9/6/2026Source