Registered user since Thu 20 Apr 2017
I did a B.A. in Computer Science at the University of Oxford, tutored by Dr Jeff Sanders.
I completed my Ph.D. on program verification in 2009 at the University of Cambridge, supervised by Prof. Mike Gordon. My PhD dissertation was selected as the winner of the BCS Distinguished Dissertation Competition 2010.
In 2012, I became a Royal Society Research Fellow, UK.
In 2014, I moved to Chalmers where I became a tenured Associate Professor in 2015.
|DeepSpec 2018||CakeML: from functions to machine code with proof all the way|
|PLDI 2018||VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models|
|Show activities from other conferences|
View general profile