M. Michel DE ROUGEMONT
Professeur émérite en 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
Contenu
Texte
Titres universitaires
- 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)
Informations complémentaires
Laboratoire d'appartenance
IRIF, UMR 8243 du CNRS
Responsabilités administratives ou pédagogiques à l'Université Paris 2 Panthéon-Assas
- Vice-président CS Math-Info
- Directeur DU Modèles de l'Economie Numérique
Responsabilités extérieures : administratives
GDR-Informatique Mathématique, Groupe CMF
Responsabilités extérieures : éditoriales
Journal of Electronic Business