Who am I?

./Intro

Hi 😊!
I'm Codaline Bourotte, a 23-year-old transgender woman researcher and student at ENS Lyon in theoretical computer science, and also an artist. I create video games, give oral exams (colles) in theoretical computer science, write exercises, papers, and compose music.

./Teaching

I worked as a contract lecturer at EPITA during my M1, where I taught courses on compilation, sequences and series of functions, and generalized integration. I also regularly give oral exams (colles) in theoretical computer science, and write every year a theoretical computer-science exam called Informatique D (FR).

./Intro

Hi 😊!
I'm Codaline Bourotte, a 23-year-old transgender woman researcher and student at ENS Lyon in theoretical computer science, and also an artist. I create video games, give oral exams (colles) in theoretical computer science, write exercises, papers, and compose music.

./Teaching

I worked as a contract lecturer at EPITA during my M1, where I taught courses on compilation, sequences and series of functions, and generalized integration. I also regularly give oral exams (colles) in theoretical computer science, and write every year a theoretical computer-science exam called Informatique D (FR).

./Research

My research interests include, in no particular order:

• Graph theory, FPT algorithms, tree-width, and game theory
• Logic, especially type systems, ZFC, and MSO
• Automata, regular languages, symbolic dynamics, and formal verification
• Lambda calculus, type systems, compilation, and proof assistants such as Rocq

./Art

I also have a strong interest in digital creation. Graphic design, animation, game development, and music composition are all part of my practice. My game CAPTCHATTER has even been exhibited (even if it is not my favorite project). I also run an independent micro-business called MONOTRON.
My games are available on my itch.io

./Tools & Tech

I work with Unity and Godot for game development. I mainly program in Rust, Python, C, OCaml, and JavaScript. I use Typst for most of my writing, and my workflow is based on NixOS (Framework laptop). I also studied graphic design at TUMO.

./Contact

For research inquiries: research@bourotte.com
For artistic or creative work: creative@bourotte.com

My Blog

• A (simple) proof assistant using OCaml's GADTs

  Let's build a simple proof assistant using built-in ocaml GADTs

To see more, check my blog!