David Baelde

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-chair of the LFMTP workshop (a satellite of FSCD, part of FLOC), PC member for PPDP, and lecturer at the MOVEP and Cyber in Nancy summer schools. 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

• L3: logique (page principale chez Gilles Dowek, page locale avec certains documents en plus)
• L3: projet logique
• L3: programmation 2
• Prépa agreg: logique, sémantique
• M1 : software engineering project

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? 🥗