I am a Senior Research Associate within the Trustworthy Systems group at the University of New South Wales.

Prior to that, I was a PhD student within the School of Informatics at the University of Edinburgh, and a member of the Laboratory for Foundations of Computer Science.

My research interests include type theory, programming languages, information flow, program verification, interactive theorem proving and compilers.