kenji no uchi

Computer science & mathematics

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 on the programming language F* in Prosecco, Inria Paris. Before that I spent some time torturing robots at Mujin.

Info & Contact

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



in construction


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


will come at some point