David Baelde
Postdoc at ITU Copenhagen
Member of the Demtech project
Mail:
firstname.name@ens-lyon.org
Bat 650, Univ. Paris Sud
91405 Orsay Cedex, France
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.