Jack Stodart

I am a PhD student at the Australian National University, researching software verification. I am supervised by Peter Höfner and Peter Müller.

My thesis is on combining automatic and manual methods of software verification. I am working with the Viper verification system.

About me

I completed a Bachelor of Advanced Computing and a Bachelor of Environment and Sustainability at the ANU in 2022. My Honours thesis was in category theory and data types, supervised by Dirk Pattinson. We investigated one-hole contexts as the derivatives of types (based on this).

I'm interested in all things verification, logic and trusted computing.