fr | en

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.

Read the report.

Languages

French

Native language

English

Advanced (TOEIC 2013 : 980/990)

Computer skills

  • Fluent in OCaml and LaTeX
  • Good commands in bash, C, C++, CSS, HTML, Isabelle, Java, Python, PHP, SQL and Javascript
  • Familiar with the operating systems ArchLinux and Ubuntu
  • Familiar with the version control tools git and svn

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 ]