Recherche

Thèmes : modélisation et vérification dans le système Coq; applications aux circuits, aux programmes et, plus récemment, aux langues naturelles.

Laboratoire et équipe : 

 
Publications :