M. Michel DE ROUGEMONT

Professeur émérite d'Informatique

Enseignant – chercheur

Matière(s) enseignée(s)

Recherche Opérationnelle, Sécurité Informatique, Economie Numérique

Thèmes de recherche :

Informatique fondamentale, Economie Numérique

Coordonnées

IRIF, Université Paris 7

Courriel : m.derougemont@gmail.com

Site web : https://www.irif.fr

Centre(s) de recherche : IRIF, UMR 8243 du CNRS

  • 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