Curriculum Vitae


D.Phil. (Ph.D.) in progress
University of Oxford, Computing Laboratory
Topic: "Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation"
Expected date of graduation in February 2010
M.Sc. (Oxon.) awarded with distinction
University of Oxford, Mathematical Institute
Course: Mathematics and the Foundations of Computer Science
Summer academies
Cryptography in Germany, September 2005
Probabilistic methods in Italy, September 2004
English course
Hilderstone College, February 2005
Studies of Mathematics and Computer Science