Curriculum Vitae

Education

2013-today: Master Degree (first year) in Computer Science at ENS Rennes (Brittany, France)

2012-2013: Bachelor Degree at ENS Rennes (Brittany, France): ENS Rennes is a high school that recruits after a highly comptetitive national examination. Double degree in both Mathematics and Computer Science.

2010-2012: CPGE at Lycée Pierre-de-Fermat (Toulouse in the south of France, MPSI-MP*): it is a two-year baccalauréat preparatory program into french "Grandes Écoles"

2010: Bacalauréat scientifique with honors at Lycée Théophile-Gautier (Tarbes, south of France): French High School Diploma in Science.

Experiencies

Summer 2013: Formal Proof of Uno and Yagiura's algorithm Bin-Minh Bui-Xuan and Frédéric Péschanski (Lip6, Pierre-and-Marie Curie University (Paris)): The aim is to find segments in a image of (1,2,..,n) by a permutation (like (1,3,2) in [5,1,3,2,4]). After the proof of a naive version, the aim was to program the linear-time Uno and Yagiura's algorithm.

Languages

French: Native Language

German: Native Language (german mother)

English: Advanced Toeic 905/990 (2013).

Computer Skills

OCaml, C++, Java

LaTeX and Beamer

Notions of Coq (a proof assistant developped by INRIA) and Isabelle/HOL (thanks to Thomas Genet's ACF teaching)