fr | en

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.

Consulter le rapport.

Langues

Français

Langue maternelle

Anglais

Avancé (TOEIC 2013 : 980/990)

Compétences informatiques

  • Bon niveau dans les langages OCaml et LaTeX
  • Connaissances en bash, C, C++, CSS, HTML, Isabelle, Java, Python, PHP, SQL et Javascript
  • Familier avec les systèmes d’exploitation ArchLinux et Ubuntu
  • Familier avec les outils de gestion de version git et svn

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 ]