David Baelde
Je suis actuellement en postdoc à l'Université du Minnesota, dans l'équipe Teyjus dirigée par Gopalan Nadathur. Avant, j'ai obtenu une thèse en informatique au LIX (École Polytechnique, Palaiseau) sous la direction de Dale Miller. Je m'intéresse principalement à la logique, et plus précisément la théorie de la démonstration: (co)induction, logique linéaire, focalisation, raisonnement en présence de liaison de variables, etc.
Comme convenu, vous trouverez sur ce site la liste de mes articles, et quelques documents relatifs à mes activités d'enseignement. Peut–être serez–vous intéressé par un des divers logiciels que j'ai développés.
Contact:
prénom.nom@ens-lyon.org.
