M. Daniel Diaz Maître de conférences Informatique, Langages Logiques, Contraintes, Parallelisme" Informatique Affectation(s) CRI : Centre de recherche en informatique (UR 1445)UFR 27 : Mathématiques et informatique Recherche Thèmes de recherche