[Photo A. Miquel]

Alexandre Miquel

Je suis maître de conférences (HDR) en informatique, actuellement en détachement au LIP à l'ENS Lyon dans l'équipe Plume.

Mon activité de recherche se situe à la frontière de l'informatique théorique et de la logique, et porte sur les liens qui unissent la démonstration mathématique et la programmation (essentiellement fonctionnelle) à travers la correspondance dite de Curry-Howard. Au sein de cette thématique, mes principaux centres d'intérêts sont:

On trouvera ici la liste de mes publications ainsi que les transparents de certains de mes exposés.


Four lectures on Classical Realizability, done in Chambéry:


Lectures on classical realizability, LI2012: Lecture 1, Lecture 2.


J'ai soutenu mon habilitation à diriger des recherches le 9 décembre 2009.


Notes de cours sur les modèles booléens (série de cours effectuée à Chambéry):


Le module d'extraction classique pour Coq et l'évaluateur Jivaro qui permet d'exécuter les programmes extraits sont maintenant disponibles.


ENS Lyon - LIP - Enseignement - Publications - Transparents - Logiciels