I am mostly interested in programming languages, logic, category theory and geometric insights on these subjects as can be given by algebraic topology and algebraic geometry. I am currently doing a PhD under the supervision of Cătălin Hriţcu around the programming language F* (and more precisely Dijkstra Monads - see publications for details) at Prosecco, Inria Paris. Before that I spent some time torturing robots at Mujin.

According to my CV, my name is Kenji Maillard.
You can email me at * first name at last name dot blue *.

- Around F* : Dijkstra monads (for free, for all), reification and monotonicity
- From my M2 internship, about fibrations and local state

I really like cooking, in particular french and japanese cuisine !