Hello World!👋
I'm a 21yo french MtF trans theoretical computer scientist and passionate game-develloper. I've been hiding a ton of stuff on my website, can you find them all ?
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:
- Formal langages, automatons, grammars
- Complexity Theory
- Logic, especially Set theory, Type Theory (System F, System T, CoIC)
- Programming theory, compilation
- Computability, cellular automaton
I know how to code quite well in Rust, Python, OCaml and C, and I can code in JS, C++.
OMFG I love blahajs 🥰🥰🥰🥰
