Last modified in March 2012.

David Baelde

Postdoc at ITU Copenhagen
Member of the Demtech project

Mail: firstname.name@ens-lyon.org

Office 4C02
Rued Langaards Vej 7
Copenhagen 2300, Denmark

Hello,

I'm doing research in theoretical computer science. I'm generally interested in the foundations of logics and programming languages. I work mostly in proof theory, with an interest in proof search as well as interactive theorem proving. A few keywords: (co)induction, linear logic, focalization, reasoning in presence of variable bindings.

News