Mail
colin [point] riba [a] ens-lyon.fr
Fonction et responsabilités
Responsable du concours en informatique
Domaines de recherche
Logique modale, sémantique de jeu et automates d'arbres
Bureau
322N