Presentation
I'm currently student at the ENS Rennes, for a computer science master degree. I study computer science there, in a school for research by research. I'm particulary kean on formal methods. In my freetime, I play the piano with a moderate level, and I enjoy a lot boardgames.
Short CV (full résumé)
- 2018-2021: Magisterium in computer science (research oriented). ENS Rennes/Université de Rennes 1, Rennes
- 2017-2018: Undergraduate year in general computer science. Université de Rennes 1, Rennes
- 2015-2017: Preparatory classes (french CPGE). Lycée Chateaubriand, Rennes
- 2015: Highschool diploma with scientific speciality, obtained with honour. Lycée brocéliande, Guer
Education
- Fundamental computer science: algorithmics, formal languages, logics (from propositional to CTL*), complexity theory, information theory
- Formal methods: model-checking with LTL et CTL (NuSMV tool), formal verification using Coq
- Programming: software engineering, object-oriented (C++, Java, Scala), functionnal (Caml, Lisp, Racket), data-oriented (SQL, XPath, XML)
- Research and teaching: programme committee simulation, pedagogy (activities of computer science with no computer with classes in primary school)
- Applied computer science: notions in distributed systems and security
- Hardware and low-level: architecture, electronics, network, operating system
Projects (dedicated page)
- M1 Project: lightweight formal verification tool for OCaml
- Internship: simple Petri net synthesis
- Lisp interpreter (C++) (Archive)
- Raytracing (C++)
- Delaunay triangulation (Ocaml)
