David Baelde

Postdoc à ITU Copenhague
Membre du projet Demtech

Mail: prénom.nom@ens-lyon.org

Office 4C02
Rued Langaards Vej 7
Copenhagen 2300, Denmark

Bonjour,

Je suis chercheur en informatique, j'étudie les fondements de la logique et de la programmation. Je travaille principalement en théorie de la démonstration, et m'intéresse à la recherche de preuve ainsi qu'à la preuve interactive. Quelques mots clés: (co)induction, logique linéaire, focalisation, raisonnement en présence de variables liées.

Nouvelles

• Check out this year's papers at LICS and ITP
• Certificates & Computations workshop at ITU
• Lecturer at ESSLI'12
• PC member of FICS'12
• PC member of JFLA'12