I am a lecturer in Computer Science and Software Engineering with a wide range of experience ranging across academia, industry, and not-for-profits. I obtained my PhD in formal verification from the University of Cambridge, followed by a postdoc at the University of Sheffield before starting my current position. Prior to beginning my academic career, I worked as a Software Engineer in industry for several years. I am passionate about computer science education, STEM outreach, and diversity in STEM, reflected in both my teaching and my involvement in various outreach initiatives. I've held several significant volunteer leadership positions within these organisations, such as leading Robogals' APAC region for three years.

My research is broadly in the area of formal verification, with a particular interest in interactive proof assistants (such as Isabelle and Lean). My work focuses on developing modular, general, and reusable formal models and proof techniques for anything from pure mathematics to security properties of programs. I have particular expertise in formalising combinatorial proofs, and formal methods for concurrency and information flow security. Beyond my current research, I'm also interested in exploring new ideas at the intersection of formal methods, HCI and computing education.

I greatly enjoy teaching and have taught a wide range of subjects since my first job as an undergraduate tutor at UQ. This includes fundamental programming language units, logic and discrete mathematics courses and software engineering project units, as well as numerous different STEM outreach workshops. I'm commited towards constantly developing my teaching skills and am currently an Associate Fellow with Advance HE (completed alongside my PhD at Cambridge). I was honoured to also be awarded the Silvia Breu Teaching Prize by Queens College Cambridge in 2022 after being nominated by my students.