Vincent's research website

I am a postdoctoral researcher in computer science in the Compositional Systems and Methods Group in TalTech.

I am interested by the interface between mathematics and computer science. I work on λ-calculus, semantics of programming languages, profinite spaces and Stone-type dualities, codensity monads, linear logic, algebraic theories and higher-order automata, in the light of category theory.

My orcid number is 0009-0005-0638-1363.

I did my PhD at IRIF, Paris. The PhD manuscript is available on its HAL page.

Here are my DBLP page and my arXiv preprints:

• Profinite trees, through monads and the lambda-calculus (arXiv)
• A cartesian closed fibration of higher-order regular languages (arXiv), with Paul-André Melliès
• Syntactically and semantically regular languages of lambda-terms coincide through logical relations (arXiv, LIPIcs, HAL) with Tito Nguyễn, accepted at CSL 2024
• Profinite lambda-terms and parametricity (arXiv, entics), with Sam van Gool and Paul-André Melliès, accepted at MFPS XXXIX