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

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.