Les pages professionnellesdes enseignants chercheurs

Christophe Garion

Research

Mis à jour le

My main research interest is mathematical logic, more specifically its applications for :

  • modeling notions such as reglementations, capabilities etc.
  • databases merging,
  • (new) program verification
En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies pour vous proposer des contenus et services adaptés OK
Pour accéder à toutes les fonctionnalités de ce site, vous devez activer JavaScript. Voici les instructions pour activer JavaScript dans votre navigateur Web.