fun
gallais

Présentation

Je prépare en ce moment une thèse sur la programmation avec types dépendents sous la direction de Conor McBride au sein du groupe MSP de l'Université de Strathclyde (Glasgow - Écosse).

Sujets de prédilection

Je m'intéresse particulièrement à la logique (constructiviste) et à sa relation avec la notion de calcul. Cela passe bien entendu par la théorie des types (dépendents) pour la logique (que ce soit au tableau ou via un assistant de preuve tel que Coq) et pour le calcul (avec un langage de programmation équipé de types dépendents tel qu' Agda).

Nouvelles récentes

2013/04: Soumission à ICFP d'un article co-écrit avec Conor et Pierre Boutillier !

2012/12: Mon rapport de première année sur la normalisation par evaluation pour des lambdas calculs simplement typés équippés de primitives agissant sur des types de données est maintenant disponible (en).

Dépots


Dernière màj : 2013/04/11