William Gaudelier

PhD in Logic

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

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
    Computability, to appear.
  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