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

POPL 2017, LSFA 2016, … and Chocola.

Papers

Full list of publications

Students

Currently advising Anthony Lick.

Happy to have advised Amina Doumane and Lucca Hirschi.

Past students: Simon Lunel, Zach Snow.

Projects

ANR Prodaq, Rapido, and Sequoia.

Enseignement 2017/18

M2 : crypto protocols, formal and computational proofs

Diapos: intro; formal semantics and deduction problem.

M1 : projet génie logiciel

Par ici!

Années précédentes

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

Other

Check out my former homepage for old stuff.

Or fall into a salade loop.

About LSV

Contact

David Baelde
Address
LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office
RH-B-102
Phone
+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