David Baelde

Maître de Conférences, 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

EPIT 2018, Journée du GT MFS 2018, POPL 2017, Dale Fest, …

Papers

Full list of publications

Students

Currently co-advising Anthony Lick and Solène Moreau.

Happy to have co-advised Amina Doumane and Lucca Hirschi.

Past students: Simon Lunel, Zach Snow.

Projects

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

Teaching 2017/18

I am or will be giving the following courses this year. Follow the available links for more details:

Past teaching

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

Other

Fall into a salade loop?

À propos du LSV

Contact

David Baelde
Adresse
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-102
Tél.
+33 (0)1 47 40 77 80
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
email