- Doing my PhD at LAMP, EPFL.
- A type theorist apprentice. Scala's type system is my primary focus. Developing the next generation of Capturing Types to bring resource and effect tracking to the masses.
- When I'm not occupied with doing induction, induction and induction on derivation trees, I submit patches to the Scala 3 compiler.
- Before diving into PL, I did research in machine learning, more specifically graph neural networks and pretraining LLMs for coding and theorem proving, during which I wrote a lot of Python.
{{ message }}