Sylvain SchmitzProfessor at Université de Paris, member of IRIF

Sylvain Schmitz maître de conférence d'informatique à l'Université de Paris et réalise ses travaux de chercheur à l'Institut de Recherche en Informatique Fondamentale (IRIF - CNRS/Université Paris-Diderot) sur les automates et applications et les équipes de modélisation et de vérification.