Short Bio:

I am currently a researcher at Microsoft. I completed my Ph.D. in 2020 in the Computer Science Department of the University of Oxford, under the supervision of Alessandro Abate and Daniel Kroening. I was also a lecturer at St Catherine's College, University of Oxford, teaching Computer-aided Formal Verification from 2018 to 2022. Prior to Oxford, I was a research assistant in the Systems Control Lab at the University of

Toronto, where I received my M.Sc. in Electrical and Computer Engineering in 2016. My research sits at the intersection of reinforcement learning, formal methods, language models, and cognitive science, with an emphasis on building models and methods that are explainable and reliable in practice.