Hello World!👋
I'm a 22 y.o. trangender french theoretical computer science student of Lyon's ENS, and passionate game-develloper!
I've been a teacher at the EPITA engineering school for both math and computer science classes, and gave oral exam (as a jury member) at preparatory classes (La Martinière Montplaisir, Fénelon Sainte Marie) in computer science.
I'm currently in my second year of Master, following the MPRI (Parisian Master of Informatic Research). I'm specialising myself in formal langages, graph theory, logic and lambda calcul.
Research
My research interest include:
- Formal langages, automatons, grammars
- Graph theory, discrete mathematics, mesure theory
- Logic, especially Set theory, Type Theory (System F, System T, CoIC)
- WQO, order theory and Googology (the study of fast growing functions)
- Computability, cellular automaton, pavings
- Programming theory, compilation
- Complexity Theory
I know how to code quite well in Rust, Python, OCaml and C, and I can code in JS, C++.
Past Internships
My past internships were done for/on/with:
- (3weeks) Creation of a SMT-solver with Jean Christophe Filliatre (France)
- (2months) Implementing Courcelle's theorem using reduction with Radu Iosif (France)
- (3months) Properties of the KLX number of a graph, with Shinnosuke Seki (Japan). See the internship report here. A paper is on the way!