Home

News

I will serve as Artifact Evaluation Chair for ECOOP 2025 and 2026

Accepted at ESOP'25: "An abstract, certified account of operational game semantics".
Joint work with Peio Borthelle, Tom Hirschowitz and Guilhem Jaber

Accepted at CPP'25: "A concurrency model based on monadic interpreters: Executable semantics for a concurrent subset of LLVM IR".
Joint work with Nicolas Chappe and Ludovic Henrio

I will serve as web-chair for POPL 2025 and 2026

Students

I have the great pleasure to work with brilliant PhD students!

Current:

Emma Nardino (co-advised with Ludovic Henrio)
Peio Borthelle (co-advised with Tom Hirschowitz and Guilhem Jaber)

Past:

Nicolas Chappe defended on 10/22/24 (co-advised with Ludovic Henrio)

Séminaire SIESTE

Le programme du séminaire SIESTE de l'année 2024-2025 est accessible à cette page.