- MoL ( 1 September 2005 - 25 July 2007)
- Postdoc, Logic, University of Paris 1, IHPST, France, 2012-10-01 - 2013-10-01
- Postdoc, Logic, INRIA, Computer Science, France, 2013-10-01 - 2015-01-01
- Postdoc, Logic, University of Bath, Computer Science, England, 2015-01-01 -
To change or amend this information or control what is displayed and what is hidden, enter your email and press the 'Request edit-link' button. If the email-address you entered matches the email-address we have on record, you will receive a mail containing a link to a page where you can update the information.