I am an emeritus professor at the Université de Paris-Sud, in Orsay
My research lab is: LRI - Orsay.

I am a member of the ForTesSe group
Formal Testing and System Exploration (ForTesSE) .

Research Interests

I have worked a lot on software testing based on formal specifications and I continue!
I am also interested in other challenging issues:


Some of the old ones, and the recent ones, can be found there: Some publications .

Book (in French) Types de Donnees et Algorithmes with Christine Froidevaux and Michele Soria

Here it is! Vous pouvez le telecharger ici . :-)


A short CV is here: Short english CV .


Look at this: it is great!

Spare time

For my spare time, I enjoy:

Valid XHTML 1.0 Strict Valid CSS Design created by Johan Oudinet