William Gaudelier

PhD in Computer Science

Research interests

My goal is to develop more robusts and reliable AI models, capable of clear logical reasoning. I am mostly interested in cognitive AI –particularly in relation to natural language processing and reinforcement learning–, code generation and automated theorem proving.

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, 89 (2024), no.3, pp. 1189--1211.

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

Older Projects

2021