Semantics and verification
I came to Oxford in 2003 to read for an undergraduate degree in Mathematics and Philosophy. Having completed that, I began my graduate work as a probationary research student in October 2007 under the supervision of Prof. Luke Ong.
