Professeur à Paris6 depuis 1989 . Mes thèmes de recherches sont la sémantique, la vérification et les bases de données déductives. Mes enseignements (passés et présents) : sémantique, algorithmique, programmation, systèmes synchrones, langages de programmation, bases de données, Logique et récursivité, structures discrètes.
Réalisations du responsable dans le domaine de l’UE
Mathématiques pour l'informatiques (co-auteur André Arnold) Inter-Editions (2005)
