Aller à l'en-tête Aller au menu principal Aller au contenu Aller au pied de page
Accueil - Universite - Enseignants Chercheurs - M. Michel DE ROUGEMONT

M. Michel DE ROUGEMONT

Enseignant – chercheur
Pictogramme enseignant
M. Michel DE ROUGEMONT
Professeur émérite en Informatique
Pictogramme enseignant
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

Activités / CV

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