I am a forth year PhD student studying at Imperial College, London under the supervision of Dr. Alastair Donaldson of the Multicore programming group and Dr. Cristian Cadar of the Software reliability group. My work is generously funded by an EPSRC CASE studentship in collaboration with ARM.
I am currently interested in improving the reliability of software using symbolic execution. I am the primary author of Symbooglix which is an open source symbolic execution engine for Boogie programs.
I received a MSc in Computing from Imperial College in 2012 during which I contributed to the KLEE project. Prior to this I did a BSc in Physics with Industrial Experience at the University of Bristol. During this I did a 1 year industrial placement at SHARP laboratories of Europe (Oxford).
I occasionally post to my blog.