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