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.

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.

Other past students: Simon Lunel, Zach Snow.

Projects

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

Teaching

• M2 : crypto protocols, formal and computational proofs
• M1 : software engineering project
• Prépa agreg (916,918,930)
• L3: logique
• L3: projet logique

Past teaching

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

Other

Fall into a salade loop?