David Baelde

Professor, ENS Rennes

News

In September 2021, I have moved to ENS Rennes and IRISA, team SPICY. This page will eventually move there.

Research

I am interested in logic and security, and more precisely proof theory, fixed points, proof search, modal logics, automated deduction, concurrency, equivalence verification, privacy.

Hey, look: a Squirrel (prover)! 🌰

Events

In 2022, I am co-chairing the LFMTP workshop (a satellite of FSCD, part of FLOC) and lecturing at the MOVEP summer school. Please consider participating!

I have defended my habilitation in February 2021. More details…

I have served for LFMTP 2021 and 2020, CiSS 2019, EPIT 2018, POPL 2017, Dale Fest, …

Papers

Full list of publications

Students

Happy to have co-advised the PhDs of Solène Moreau, Anthony Lick, Amina Doumane and Lucca Hirschi.

Projects

ANR TECAP (2017), Prodaq, Rapido, and Sequoia (2014).

Teaching

Past teaching

I was also teaching in 2019/20, 18/19, 17/18, 16/17, 15/16, 14/15, 13/14 and 12/13.

Other

🥬 Fall into a salade loop? 🥗

About LSV

Contact

David Baelde
Address
LSV, CNRS & ENS Paris-Saclay
4, avenue des Sciences
F 91190 Gif-sur-Yvette, France
Office
2S55
E-Mail
david.baelde💫ens-rennes💥fr