Curriculum Vitae
A pdf version of my curriculum vitae is available here.
Education
2013-2015 |
Research Master in Computer Science, École Normale Supérieure de Rennes. Research and Innovation Master's Degree, in collaboration with the University of Rennes 1. |
2012-2013 |
Bachelor degree in Computer Science and Bachelor degree in Mathematics, École Normale Supérieure de Cachan, Antenne de Bretagne. Double degree in computer science (Research and Innovation) and Mathematics, in collaboration with the University of Rennes 1. |
2010-2012 |
Classes préparatoires aux grandes Écoles, Lycée Faidherbe, Lille. Two-year intensive classes preparing to the competitive exams of the french Grandes Écoles, with specialization in Mathematics. |
2010 |
French Baccalauréat scientifique, Mention très bien. High school diploma, with honors. |
Experience
Internships
2013 |
Improvement of a Termination Analysis Algorithm, supervised by Laure Gonnord (Dart team) and David Monniaux (Vérimag team), Lille. |
Languages
French |
Native language |
English |
Advanced (TOEIC 2013 : 980/990) |
Computer skills
- Fluent in
OCaml
andLaTeX
- Good commands in
bash
,C
,C++
,CSS
,HTML
,Isabelle
,Java
,Python
,PHP
,SQL
andJavascript
- Familiar with the operating systems ArchLinux and Ubuntu
- Familiar with the version control tools
git
andsvn
Interests
Music |
Saxophonist (7 years of courses) |
Publications
2013
- [1]
- L. Seguinot, D. Monniaux and L. Gonnord. Synthesis of ranking functions using extremal counterexamples, 2013. Under submission. [ bib ]