Fondements des mathématiques et analyse

• Systèmes faibles de la théorie des ensembles
• Analyse non standard et Axiome du Choix
• Logique catégorique; théorie des topos
• Espaces de Banach
• Théorie analytique des nombres

Mathématiques discrètes

• Théorie des graphes et reconstruction
• Automates et combinatoire des mots
• Ensembles ordonnés et théorie des relations
• Modèles de calcul

Vérification

• Terminaison, non-terminaison
• Correction partielle
• Liens entre interprétation abstraite et preuve interactive de programmes