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

POPL 2017, LSFA 2016, … and Chocola.

Papers

Full list of publications

Students

Currently advising Amina Doumane, Lucca Hirschi, and Anthony Lick.

Past students: Simon Lunel, Zach Snow.

Projects

ANR Prodaq, Rapido, and Sequoia.

Enseignement 2016/17

M1 : projet génie logiciel

Par ici!

Années précédentes

J'enseignais aussi en 2015/16, 14/15, 13/14 et 12/13.

Other

Check out my former homepage for old stuff.

Or 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