Marie-CLaude Gaudel's Homepage

• e-mail: mcg@lri.fr
• phone: +33 1 69 15 64 33
• My new postal address is:
  PCRI, Batiment 650
  Université de Paris-Sud
  91405, Orsay cedex, FRANCE
• My office is located at:
  PCRI
  Rue Noetzlin
  91190 Gif-sur-Yvette

Summary

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:

• Random Testing
• Approximate Model-Checking
• Application of Machine Learning to Software Testing
• Software Reliability and Fault-Tolerance

Publications

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

CV

A short CV is here: Short english CV .

Links

Look at this: it is great!

• Uniform trace sampling in very large models

Spare time

For my spare time, I enjoy:

• taking care of my grand-children (some pictures to be added soon)
• hiking and gardening in La Clusaz
• wandering in Paris
• watching nice artistic exhibitions here