PhD Defense of Chunxiao Li (Waterloo)

26 September 2023

Most recent news

(list of all news)

AI Training at Aérocampus

(04 July 2025)

The Aérocampus of Nouvelle Aquitaine is a training center for aeronautical technicians. It's a unique campus where industry plays a major role. Here, airplanes (including a Rafale) and helicopters of...


2025 Agrégation Jury

(23 June 2025)

Since 2022, France has finally established an external computer science agrégation. I remember my own computer science classes in middle school (on PCs with 5"1/4 floppy disks and MO5/TO7 machines)....


Does AI Still Belong to Digital Science ?

(03 June 2025)

I had the pleasure of opening the AI Day in Nouvelle Aquitaine, organized by AI in Nouvelle Aquitaine. For this occasion, I allowed myself to venture into areas close to...


2025 Graduation Ceremony

(15 March 2025)

Last Saturday was, as every year, the graduation ceremony for the students of ENSEIRB-MATMECA, where I am still the head of the Computer Science department for a few more months....


Weekly Eco Interview on TV7

(20 February 2025)

Last Wednesday, I had the opportunity to answer questions from Stéphanie Lacazze, from Sud Ouest, as part of [Hebdo Éco](https://www.sudouest.fr/lachainetv7/economie/l-hebdo-eco/) on TV7. It’s a local TV channel belonging to the...

I had the opportunity to act as an external examiner for Chunxiao Li’s PhD thesis, conducted at the University of Waterloo. His thesis, supervised by Vijay Ganesh, is titled “Understanding and Improving SAT Solvers via Proof Complexity and Reinforcement Learning”. A thesis close to my research interests!

Acting as a reviewer/examiner for an international thesis is always a special moment in our careers because each country has its own rules and jury composition.

In this thesis, I acted as the main interrogator (a time-consuming task). This involved not only the report but also almost exclusively the scientific questions during a video interview.

Congratulations to the new doctor!

(Last Modified date: 10 October 2023)
This page was translated using AI tools (Deepl, GPT, ...)
(list of all news)