λpkd.k(pkd)

Loading…

Hi, I'm Paul your average parisian computer guy with way too many projects
I study physical sciences at ENS Lyon and CS, maths in Marseille.
I'm also a revolutionary communist and a member of Révolution Permanente
When i don't work i'm probably reading random arXiv papers, procrastinating or exploring weird places

Currently, i'm researching context-dependent formally-constrained generation for Large Language Models at Unsuspicious Industries. I'm also leading some work on computability for the Dynamic Formal Systems lab and building strange overly-typed rust libraries.
If you ever find yourself in Paris, and want to discuss about sciency things, politics, visit weird places or just have a café, send a quick email or a twitter dm