Computer Science student at ENS Rennes
I am currently a student looking to pursue a career in computer science research.
I am passionate about computer science in general but I am particularly interested in the fields of language theory, verification and software engineering.
I often take on projects for the challenge and the pleasure of solving problems.
Computer science is not my only passion, I also regularly practice climbing, board sports and play the saxophone.
The Parisian Master of Research in Computer Science, in French Master Parisien de Recherche en Informatique (MPRI), is a research-oriented master's program in fundamental computer science.
Its purpose is to train future scientists through intensive exposure to contemporary research in the foundations of computer science.
More information (in English) here.
This internship was done as part of the research track at ENS Rennes.
5-month internship in the TU Wien, supervised by Maria Christakis in collaboration with Valentin Wüstholz, Christoph Hochrainer and Sebastian Watzinger.
The internship focused on the development of a new version of CircIl, a generic intermediate language to easily apply fuzzing methods to multiples Zero-Knolege Virtual Machines without the need for new implementation.
This internship was done as part of the research track at ENS Rennes.
4-month internship in the Sycomores team at INRIA Lille supervised by Raphaël Monat and Julien Forget.
Program interpreters are complex pieces of software where bugs are difficult to investigate. Given an observed divergence between two implementations of an interpreter, we want to determine the first diverging state. We present an approach to automatically find this divergence point in an interpreter and language-agnostic way. This approach has been applied to the Mopsa static analyzer on the GNU Coreutils.
The internship report is available here.
Open Verification Dashboard: Are we done analyzing that?
8-weeks internship in the computer science department at the University of Tartu., supervised by Vesal Vojdani.
This internship led to the publication of a paper: Comparing Transparent Static Analyzers with Open Verification Dashboard
It is a Small World: Precision Micromanipulation Applications for Multi-Robot Magnetic Systems
This project is a research project as part of the training at the ENS.
The project is carried out in the RAINBOW team at INRIA Rennes.
It is supervised by Claudio Pacchierotti in collaboration with Leon Raphalen and Marco Ferro.
and focuses on the manipulation of magnetic microspheres. For more information, you can visit the official project website REGO.
The internship report is available here.
9-week internship in the EPICURE team at INRIA Rennes supervised by Benoit Montagu and Pierre Lermusiaux.
The internship focused on the application of the "property based testing" approach to the static analyzer Salto developed by the team.
The internship report is available here.
I wanted to learn about JIT compilers, so naturally I chose a simple but yet absurd language to make it interesting. This was an opportunity to learn new things by doing them the unconventional way, just because. It's a JIT compiler for the Brainfuck programming language written in OCaml that compiles Brainfuck into x86_64 assembly code and executes it directly.
RPNlang is a programming language based on reverse polish notation. It is interpreted in C++ and is fully interoperable with C++ code via a module system.
This Typst package allows you to render Graphviz graphs in a typst document via the dot language. This package was made with Malo Monin to allow us to take notes more easily.
Small command line utility written in OCaml that allows you to derive mathematical functions. The formulas are then factored as much as possible.
This project is a small 3D cpu rendering engine in C++. It is capable of loading 3D models and animating them. This project is a small 3D cpu rendering engine in C++. The goal here was to experiment with 3D rendering and understand the underlying mathematics.
A web interface to manipulate and test context-free grammars. The project allows you to visualize derivation trees and dynamically generate words from a grammar. The demo is available here.
You can email me at name.familyname@ens-rennes.fr
Robotechnic