|
CYRIL PACHON .
Thesis by Cyril Pachon, started in October 2001.
It was presented and defended publically on October 4th 2005.
In my PhD thesis, I have defined a formal framework for Robustness Testing.
Studies
2001 - 2005: Ph. D thesis of Computer Science in Verimag. A Model-Based Approach for Robustness Testing
2000 - 2001: Master Degree of Computer Science, profile Systems Validation and communication.
Teachings
2001 - 2005 : Teaching in the French University and Higher School.
Computer Science
Systems: Unix/Linux, Windows, MAc Os
Languages: C/C++, Ada 95, Java, UNIX shell, HTML, ...
Tools: Emacs, TeX/LaTeX,
Research interests: Test, verification, model-checking, ...
|
