M. Michel DE ROUGEMONT
Professeur émérite d'Informatique
Enseignant – chercheur
Matière(s) enseignée(s)
Matières enseignées
Recherche Opérationnelle
Sécurité Informatique
Economie Numérique
Thèmes de recherche :
Thèmes de recherche
Informatique fondamentale
Economie Numérique
Coordonnées
IRIF, Université Paris 7Courriel : m.derougemont@gmail.com
Centre(s) de recherche :
Structure(s) de rattachement
Contenu
Texte
- Ph.D. Informatique UCLA 1983
- Habilitation Paris 11 1988
Principales publications
- Logic and Complexity, Springer-Verlag 2003
- Property testing for regular tree languages (ICALP 2004, Algorithmica 2008)
- Correctors for XML data (XSym 2004)
- Approximate Satisfiability and Equivalence (LICS 2006)
- Probabilistic abstraction for model-checking, (ACM Transactions on Computational Logic 2007)
- Approximate Data Exchange (ICDT 07)
Responsabilités à l'Université Paris-Panthéon-Assas
- Vice-président CS Math-Info
- Directeur DU Modèles de l’Économie Numérique
Responsabilités extérieures
administratives
GDR-Informatique Mathématique, Groupe CMF
éditoriales
Journal of Electronic Business