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) .
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 .
Here it is! Vous pouvez le telecharger ici . :-)
A short CV is here: Short english CV .
Look at this: it is great!
For my spare time, I enjoy: