Aller à l'en-tête Aller au menu principal Aller au contenu Aller au pied de page
Accueil - Université - Enseignants Chercheurs - M. Michel De Rougemont

M. Michel De Rougemont

Enseignant – chercheur
Pictogramme figurant un enseignant de l'université
M. Michel De Rougemont
Professeur en Informatique
Pictogramme figurant un enseignant de l'université
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 :

LRI, Batiment 490 Université Paris 11, 91405 Orsay

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
LRI, UMR 8623 CNRS

Responsabilités administratives ou pédagogiques à l'Université 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