William Gaudelier

PhD in Logic

Photo of William Gaudelier

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

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 I am starting a PhD on Embedded Machine Learning Programming, under the supervision of Dumitru Potop-Butucaru! I will be part of the ASTRA team at Inria Paris

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