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.

Events

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