David Baelde
Postdoc à ITU Copenhague
Membre du projet Demtech
Mail:
prénom.nom@ens-lyon.org
Bat 650, Univ. Paris Sud
91405 Orsay Cedex, France
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.