English EN French FR

Thèmes de recherche MATHS

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