David Baelde

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

I will defend my habilitation on February 10th! More details…

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

Papers

Full list of publications

Students

Currently co-advising the PhD of Solène Moreau.

Happy to have co-advised the PhD of 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? 🥗