- Human languages
- native French
- fluent English
if that matters, I got 985 out of 990 at
- rusty German
not practiced in a while, but I got level
- Computer languages
- Python, Ocaml, C, Coq
- C++, Java, assembly (Intel, PowerPC, M68k), SQL
- good practice of the Unix programming environment
- Unix multi-process programming: research work and school projects
- VxWorks: serial line driver,
Khepera robot driver
- Experience with team work
- tools: git, subversion, mercurial
- on site: 6 month university projects with 6 people
- distributed: I was involved in project
and I am now a remote worker
- I am currently a software engineer at
- Ph.D. in computer science at Verimag
- I participated in the construction of a static analyzer of C programs
and its proof of correctness.
I focused on relationships among variables.
- my supervisors: David Monniaux
and Michaël Périn
- During my Ph.D., I taught at Université Joseph Fourier
- introductory programming and software engineering to first and second year students,
- computer architecture, from transistor to processor, to third year software engineering students.
- internship at Thales Avionics 2011, 4 months
- comparative study of safety-critical embedded operating systems
- development of a GCC backend for a custom system-on-chip
- internship at LIP
2010, 2 months
- formal proof and modelling of imperative concurrent programs
- In 2015, I got Ph.D. in computer science from
Université Joseph Fourier,
during which I worked at Verimag.
- In 2012, I got a master's degree in theoretical computer science
from ENS de Lyon.
- In 2012, I also got an engineering degree in information
INSA de Lyon.
Free and open source involvement
- I have submitted various patches to OpenBSD
in various areas: vi(1) manual page, man(1), message queue kernel code, boot block code.
- I was a board member of the free software advocacy group at
INSA de Lyon for two years.
We have organized install parties and tutorials.
Polyhedral approximation of multivariate polynomial using
with Alexandre Maréchal, Tim King, David Monniaux and Michaël Périn
at the International Conference on Verification, Model Checking and
Abstract Interpretation 2016
Revisiting the abstract domain of polyhedra:
constraint-only representation and formal proof,
Ph.D. thesis, 2015
A certifying frontend for (sub)polyhedral abstract domains,
with Sylvain Boulmé at the Working Conference on Verified Software:
Theories, Tools and Experiments 2014
Modular and lightweight certification of polyhedral abstract domains,
with Michaël Périn and Sylvain Boulmé, as an extended abstract for the
Types Meeting 2014
Efficient generation of correctness certificates for the abstract domain of polyhedra,
with David Monniaux and Michaël Périn at the
Static Analysis Symposium 2013