William Gaudelier

PhD in Computer Science

Research interests

My interest lies at the intersection between current AI models and formal logic. My goal is to develop more reliable AI systems that foster science and knowledge. I am particularly interested by code generation, automated theorem proving and natural language processing.


Currently looking for a research position! (postdoc, internship, ...)

News

2024

26 - 27 November I will attend the Program synthesis days at LaBRI
12 - 15 November I will attend the 11th French-Israeli Workshop on Foundation of Computer Science
18 October Defended my thesis!

Publications

  1. Cross-constraint basis theorems and products of partitions (2024)
    Julien Cervelle, William Gaudelier, Ludovic Levy Patey
    submitted
  2. The Reverse Mathematics of CAC for trees (2022)
    Julien Cervelle, William Gaudelier, Ludovic Patey
    The Journal of Symbolic Logic (to appear)

Thesis

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, reverse mathematics and Ramsey's theorems.

Projects

2021