M. Michel DE ROUGEMONT

Professeur émérite en 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

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