Solène Mirliaz

About me

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.

Français Aller à la version française


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
2015-2016 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
2013 Scientific Baccalaureate
Lycée François Mauriac, Bordeaux

With Distinction.


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

Report (in French)


Languages C, C++, (O)Caml, Python, Ruby, Scala
Operating System Linux
Miscellaneous Latex, Matlab, Isabelle/HOL


French Mother tongue
English Fluent
Spanish Beginner
Portuguese Beginner