In 2009, I completed my PhD in the Moscova team at INRIA Rocquencourt and the new INRIA-MSR joint centre.
I was supervised by James J. Leifer and Jean-Jacques Lévy.
I am now a lecturer at Royal Holloway, University of London in theDepartment of Computer Science. My new webpage is here.