David Baelde

Assistant Professor, ENS Cachan

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

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
baelde💫lsv💥fr