I am a French student in the Computer Science and Telecommunication department of the École normale supérieure de Rennes (ENS).
My main professional interest is programmation languages. How to define them, what is their semantic but also how to analyze the constructions they allow, are the typical questions I like answering. I enjoy conceiving theortical objects, implementing them and refining this implementation for practical use. Ensuring the correctness of the model is a key aspect that I like exploring.
The PDF version is also available.
|2016-2017||Master 1 in Research and Computer Science innovation École Normale Supérieure de Rennes - Université de Rennes 1|
Bachelor in Research and Computer Science innovation
École Normale Supérieure de Rennes - Université de Rennes 1
Theory and practice of Computer Science. With Distinction
|2013-2015||Preparatory classes (MPSI-MP) Lycée Michel Montaigne, Bordeaux|
Lycée François Mauriac, Bordeaux
|Sept. - Dec. 2017||
Internship of Prélab
Saarland Informatics Campus, Saarbrücken, Germany
Static Analysis for Temporal Safety
Supervisor: Sebastian Hack
|May - Aug. 2017||
Internship of First Year of Master
UFMG Compilers Lab, Belo Horizonte, Brazil
Automatic Stub Generation for C functions.
In order to evaluate the empirical complexity of a C function in a program, it can be necessary to isolate it and generate random inputs for it. However these input must not provoke error such as out-of-bound memory accesses. During this internship, I modelize the dependence between inputs and arrays with a graph and resolve the dependences thus obtained to determine ranges of possible value for each input variables.
Supervisor: Fernando Magno Quintão Pereira
|May - July 2016||
Internship of Bachelor
INSERM Stem Cell and Brain Research Institute, Lyon
Situation Model: a narrative structure for human-robot interaction.
The internship involved designing a model to represent a narrative event. This event could then be told by the iCub robot, which was already able to form sentences. The code of this project was mainly in C++.
Supervisor: Peter Ford Dominey
|Languages||C, C++, (O)Caml, Python, Ruby, Scala|
|Operating System||Linux||Miscellaneous||Latex, Matlab, Isabelle/HOL|