Resume

Studies
2013 - 2016
PhD in computer science,
Université Paris Diderot (Paris VII). Here is my timeline.
2012 - 2013
Mathematical logics master,
Université Paris Diderot (Paris VII).
2010 - 2012
Computer science master,
École normale supérieure (Paris, France). Summa cum laude.
2009 - 2010
Computer science licence (third year degree),
École normale supérieure. Magna cum laude.
2007 - 2009
Mathematics studies
Université Pierre et Marie Curie (Paris VI)
2006 - 2009
Computer science studies
SUPINFO - The International Institute of Information Technology
2003 - 2006
Scientific Baccalauréat
Lycée Saint Louis de Gonzague. Magna cum laude.
Experiences
May 2012 -
Aug. 2013
Intern - PPS
Type theory and reverse mathematics.
Mar. 2012 -
Aug. 2012
Intern - LIAFA
Definability of Turing jump.
Oct. 2011 -
Feb. 2012
Intern - ROSAEC Center (Seoul)
Verification framework of multi-staged programs.
Also between March. 2011 and Aug. 2011.
Jun. 2010 -
Aug. 2010
Intern - Institut Fourier
Systematic complexity study of Eternity II and its variants.
Aug. 2009 -
Oct. 2009
Casual labor - Institut National de Recherche en Agronomie
Development of a web interface favouring search in semantic databases.
Dec. 2009 -
Jun. 2009
Intern - TIMC-IMAG laboratory
Research and implementation of partial isomorphic subgraphs research algorithms.
Nov. 2007 -
Jun. 2008
Computer scientist - CLASIS SARL
Development of a web application of direct marketing.
Also as intern on Oct 2006 and Aug. 2007 - Oct. 2007.
Skills
OS
Ubuntu, Windows XP/Vista/7, Macos9/X,
Windows Server, MacOS X Server
Webdesign
XHTML, CSS, Javascript
Databases
MySQL, Oracle, CouchDB
Languages
(Good skills) PHP, Java, Scala, C, C++, Ocaml, C#
(Notions) VB, ASM, Scheme, XSLT
Misc
Latex, Git, Subversion, Coq
Languages
French
Mother tongue
English
Fluent
German
Understood (12 years of study)
Certifications
2008
Mandriva Mandriva Certified Administrator
2007
Mandriva Certified User
2007
Cisco Cisco Certified Network Administrator 1 and 2
Interests
Dance
Waltz, rock (french dance), tap dancing
Sports
Fencing, hiking, cycling
Clubs
Member of the ENS Useless Club