Discipline(s)

Informatique

Discipline(s) enseignée(s)

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

Corps

Professeur

Thèmes de recherche

Informatique fondamentale, Economie Numérique

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