Location
You can find me at this place :
Phone: +33 1 44 27 28 40
Fax: +33 1 44 27 68 49
Mailing address: LIAFA, case 7014, Université Paris 7,
2 place Jussieu, 75251 Paris Cedex 05
Office address: 175, rue du Chevaleret, 75013 Paris, France
Room:6A17
My roomates are Antoine Meyer, Benjamin Lerman, Claire David, Florian Horn, and many others which do not (still) ahve any website.
I have been working on finite model-checking, during my master stage. the title for my PhD thesis could be Infinite model-checking. I am particularly working on regular model-checking and more precisely abstract regular model-checking.
I am a Phd student under the direction of Ahmed Bouajjani and Peter Habermehl
I am currently working on abstraction of program with pointers, and on the way to mix some differents approaches of symbolic representations.
Teaching
Own
- You can discover the amazing world of Fencing.
- rubber, An useful tool for Latex
- Irc an amazing world
- A beta version for JasTex the graphical interface for Gastex
Pierre MORO
Last modified: Wed Jan 26 15:51:45 CET 2005