Hello World!👋

I'm a 21yo french MtF trans theoretical computer scientist and passionate game-develloper.

I've been a teacher at the EPITA for both math and CS class, gave oral exam at preparatory classes (La Martinière Montplaisir, Fénelon Sainte Marie) in computer science, but I'm also a student of Lyon's ENS.

My research intrests

I'm intressted in (in order of preferences):

• Formal langages, automatons, grammars
• Graph theory, discrete mathematics, mesure theory
• Logic, especially Set theory, Type Theory (System F, System T, CoIC)
• 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++.

OMFG I love blahajs 🥰🥰🥰🥰