Basile Clement

Basile Clement
CS Student, École normale supérieure
H+33 6 76 96 27 56
[e-mail]
Born on November 4, 1992
Studies
2012-2014 Master Parisien de Recherche en Informatique (MPRI) ,École normale supérieure,
Paris, Mention très bien (summa cum laude).
2011-2012 CS bachelor’s,École normale supérieure,Mention bien (magna cum laude).
2009-2011 CPGE MPSI—MP,Centre International de Valbonne, Valbonne, France.
Admitted to the École normale supérieure in mathematics
2006-2009 Scientific Baccalauréat ,Lycée Simone Veil, Valbonne, France, Mention très bien (summa
cum laude).
Experiences
2014 Research Internship,INRIA/ENS, Paris.
Designing & implementing methods for the animation of semantics definition
Supervised by Francesco Zappa-Nardelli
2013 Research Internship,SRI International, Menlo Park, California.
Writing a certified typechecker for the PVS specification language
Supervised by Natarajan Shankar
Programming projects
April 2014 Google #code (contest),Google Paris.
First place as part of team ens{,imag}
Winter 2013 Model-checker for Lustre based on k-induction.
Implementation in OCaml (for a synchronous systems course)
Winter 2012 Bombercat, a distributed Bomberman.
Protocol design & implementation in OCaml (for a networking course)
Winter 2011 Compiler for a Java subset.
Implementation in Haskell (for a compilation course)
Skills
Mathematics Algebra, Set theory, Calculus, Probability theory
CS Type theory, Automated verification, Logic, Algorithms & data structures, Concurrency
theory, Proof assistants (PVS, Coq)
Technical Python, C++, OCaml, git, L
A
T
EX, JavaScript, HTML/CSS, SQL
Languages
French Mother tongue
English Fluent (read, written, spoken)
Interests
Science Formal methods, Compilation & code transformation
Hobbies Tabletop role-playing, Hiking, Hacking & understanding how stuff works