About me
I am currently a first-year PhD student working on Embedded Machine Learning Programming, under the supervision of Dumitru Potop-Butucaru. I am part of the ASTRA team at Inria Paris.
Research interests
I am interested in engineering robust and performant systems and methods, based on foundational knowledge in algorithms, logic, and cognitive science. I am particularly keen on building efficient AI models for solving complex tasks.
News
2026
| 14 - 16 January | I will attend the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026) in Rennes |
|---|
2025
| 24 - 28 November | I will attend the 32nd International Open Workshop on Synchronous Programming (SYNCHRON 2025) in Aussois |
|---|---|
| 17 November | I will attend the First Thematic Day of the RECAST Working Group (GT) at ENS |
| 1 November | Started my PhD! |
Publications
-
Cross-constraint basis theorems and products of partitions (2024)
Julien Cervelle, William Gaudelier, Ludovic Levy Patey
Computability, to appear. -
The Reverse Mathematics of CAC for trees (2022)
Julien Cervelle, William Gaudelier, Ludovic Patey
The Journal of Symbolic Logic, 89 (2024), no.3, pp. 1189--1211.
Thesis in Logic
Computational analysis of Ramsey-type theorems
I was a PhD student from October 2021 to October 2024 at Université Paris-Est Créteil (UPEC) in the Laboratoire d’Algorithmique, Complexité et Logique (LACL), under the supervision of Julien Cervelle and Ludovic Patey. I worked on computability theory, reverse mathematics and Ramsey's theorems.
Older Projects
2021
- A proof of Baire's theorem written in Coq, in the setting of general topology.
- An introduction to forcing I wrote for the first Summer of Math Exposition. I particularly like the proof of Cantor's theorem.