Who am I?
./Intro
Coucou 😊 !
Je suis Codaline, une chercheuse/étudiante transgenre à l'ENS de Lyon en informatique théorique de 23 ans, et aussi une artiste.
Je crée des jeux vidéos, fait passer des examens oraux en informatique théorique, écrit des sujets, des papiers, et joue de la musique.
./Teaching
J'ai été professeure contractuelle à l'EPITA pendant mon M1 ou j'ai enseignée les cours de compilation, de suite et séries de fonctions et d'intégration généralisé.
./Research
Mes sujets de recherche sont, sans ordre particulier :
- La théorie des graphes, fonctions FPT, Tree-width, Théorie des jeux
- La logique, notamment les systèmes de type, ZFC et la MSO
- Les automates, langages réguliers, la symbolique dynamique, la vérification automatique
- Le λ-calcul, typage, la compilation, les assistants de preuve type Rocq
./Art
J'ai aussi une passion pour tout ce qui touche la création digitale. Le design graphique, l'animation, le game-making et la composition de musique font parties de mes passions. Mon jeu CAPTCHATTER a meme déjà été exposé dans une expo! (meme si ce n'est pas mon jeu préféré). Je suis aussi derrière la micro-entreprise indépendante MONOTRON. :D
Mon Blog
-
A (simple) proof assistant using OCaml's GADTs
Let's build a simple proof assistant using built-in ocaml GADTs
-
Weird constructions using the Axiom of Choice
Two periodic functions that sum to the identity? A function that injectively encode {x,y} into f(x) - f(y)? Yes, they are all possible, and even more!