Isabelle Mounier

Isabelle Mounier : Maître de conférences à l'Université Pierre et Marie Curie, Isabelle Mounier enseigne principalement les techniques de développement d'applications en licence d'informatique. Ses activités de recherche ont d'abord porté sur la vérification de propriétés temporelles de systèmes informatiques modélisés par des réseaux de Pétri et elle s'intéresse aujourd'hui aux aspects formels des langages de modélisation... Lire tout