Curriculum Vitae
Une version pdf de mon curriculum vitae est disponible ici.
Études
2013-2015 |
Master d’Informatique, École Normale Supérieure de Rennes. Master Recherche et Innovation, en collaboration avec l'Université de Rennes 1. |
2012-2013 |
Licence d’Informatique et Licence de Mathématiques, École Normale Supérieure de Cachan, Antenne de Bretagne. Double licence en Informatique (Recherche et Innovation) et Mathématiques, en collaboration avec l'Université de Rennes 1. |
2010-2012 |
Classes préparatoires aux grandes Écoles, Lycée Faidherbe, Lille. |
2010 |
Baccalauréat scientifique, Mention très bien. |
Expérience
Stages
2013 |
Amélioration d'un algorithme de terminaison de programmes, encadré par Laure Gonnord (équipe Dart) et David Monniaux (équipe Vérimag), Lille. |
Langues
Français |
Langue maternelle |
Anglais |
Avancé (TOEIC 2013 : 980/990) |
Compétences informatiques
- Bon niveau dans les langages
OCaml
etLaTeX
- Connaissances en
bash
,C
,C++
,CSS
,HTML
,Isabelle
,Java
,Python
,PHP
,SQL
etJavascript
- Familier avec les systèmes d’exploitation ArchLinux et Ubuntu
- Familier avec les outils de gestion de version
git
etsvn
Loisirs
Musique |
Saxophoniste (7 ans de cours) |
Publications
2013
- [1]
- L. Seguinot, D. Monniaux and L. Gonnord. Synthesis of ranking functions using extremal counterexamples, 2013. Under submission. [ bib ]