uptodate CV - Page personnelle - Guillaume Lussier

Conférence Francophone sur l'Ingénierie des Protocoles (CFIP'05), Bordeaux, France, Apr. 2005, short paper (6 pages). National Publications (as principal ...
Télécharger le PDF
130KB taille 10 téléchargements 322 vues
commentaire
Report
Guillaume Lussier e-mail : [email protected] web : http://glussier.free.fr

Apt 16, 8 Place Saint Julien 31000 Toulouse, France tel: +33(0)8.71.73.73.31

Educational Background: Laboratory of Analysis and Architecture of Systems, LAAS (Toulouse, France) Dependable Computing and Fault Tolerance research group Ph.D. September 2004 Supervisor: Hélène Waeselynck Title: Proof-Guided Testing – Application to the Verification of Fault Tolerant Algorithms

1999-2004

Institut National des Sciences Appliquées, INSA (Toulouse, France) Computer Engineering Department Master's degree in Engineering, September 1998

1992-1998

Research Experience: Postdoctoral Fellow. Impact of the rewriting of a formal proof on the extraction of test cases, Hélène Waeselynck. Dependable Computing and Fault Tolerance research group, Laboratory of Analysis and Architecture of Systems, Toulouse, France.

2004-2005

Doctoral Student. Proof-Guided Testing – Application to the Verification of FaultTolerant Algorithms, Hélène Waeselynck. Dependable Computing and Fault Tolerance research group, Laboratory of Analysis and Architecture of Systems, Toulouse, France. Supervisor of two students during their master's research training period (2002 and 2004).

1999-2004

Master's Research Period. Modelling of hypermedia streams (interactive text/audio/video streams) through Java, Patrick Sénac. Department of Mathematics and Computer Science, ENSICA, Toulouse, France.

1998

Analysis of the kernel of an automated prover, Atelier-B tool, B formal machine specification language, Hélène Waeselynck. Fault tolerance and Security research group, Laboratory of Analysis and Architecture of Systems, Toulouse, France.

1997

Teaching Experience: Fixed-Term Lecturer and Researcher. Department of Mathematics and Computer Science, University of Toulouse II, Toulouse, France. (321 classrom hours, equivalent to full 2-year teaching load for a professor) - Object Oriented Programming, from concepts to application (C++, Java languages) [full course and several labs written and taught, exams written and graded] - Parallel Programming and Synchronisation, Unix processes (C, Java languages) [full course and labs revised and taught, exams written and graded] - Basic Concepts of Computing, Introduction to Programming (Pascal language) [full course revised and taught, labs written and taught, exams written and graded]

2003-2005

Fixed-Term Lecturer and Researcher. (continued) - Design and Protection of Documents for Web Publishing (basis of security theory and documents hosting, HTML, CSS) [full course and several labs written and taught, exams written and graded]

2003-2005

Assistant Teacher. Department of Electronics and Computer Science, Applied Sciences National Institute (INSA), Toulouse, France. (339 classroom hours, equivalent to 4 years of half load for a professor)

1999-2003

- Basics of Algorithm Design and Software Development (Ada language) [full course taught, labs co-written and taught, exams co-written and graded] - Advanced Algorithm Design and Data Structures (Ada language) [full course taught, labs co-written and taught, exams co-written and graded] - Logic-based Languages and Problem Solving (Prolog language) [labs revised and graded] Other Activities and Honors: Student representative to the university Ph.D. board. Co-organizer of the annual congress of the Ph.D. students, 2000 and 2001.

1999-2001

National doctoral grant, Ministry of Education and Research.

1999-2002

Front-end Interface Design for an Industrial Database. ARCO Chemicals, Fos-sur-Mer, France. Users requests analysis, design, code and deployment of the database client-server interface.

summers of 1995, 1996

International Publications (as principal researcher and author): 1. Lussier, Guillaume, and Hélène Waeselynck. "Informal Proof Analysis Towards Testing Enhancement," 13th Int. Symposium on Software Reliability Engineering (ISSRE’02), pp.27-38, IEEE Computer Society, Annapolis, USA, Nov. 2002, LAAS – CNRS Report n° 01580. 2. Lussier, Guillaume, Hélène Waeselynck, and Kharim Guennoun. "Proof-Guided Testing: An Experimental Study," 28th Int. Computer Software and Applications Conference (COMPSAC’04), pp.528-533, IEEE Computer Society, Hong-Kong, China, Sep. 2004, LAAS – CNRS Report n° 04154. 3. Lussier, Guillaume, and Hélène Waeselynck. "Deriving Test Sets from Partial Proofs," 15th Int. Symposium on Software Reliability Engineering (ISSRE’04), pp.14-24, IEEE Computer Society, Saint Malo, France, Nov. 2004, LAAS – CNRS Report n° 04199. 4. Lussier, Guillaume, and Hélène Waeselynck. "Test Guidé par la Preuve – Application à un protocole d’appartenance de groupe" ["Proof-Guided Testing – Application to a Group Membership Protocol"], Conférence Francophone sur l’Ingénierie des Protocoles (CFIP’05), Bordeaux, France, Apr. 2005, short paper (6 pages). National Publications (as principal researcher and author): 5. Lussier, Guillaume, and Hélène Waeselynck. "Collaboration entre test et preuve formelle: Test Guidé par la Preuve" ["Collaboration between Test and Formal Proof: Proof-Guided Testing"], 12èmes Journées Formalisation des Activités Concurrentes (FAC’04), Toulouse, France, Mar. 2004, LAAS – CNRS Report n° 04208.

6. Lussier, Guillaume, and Hélène Waeselynck. "Analyse d’une preuve informelle pour guider le test" ["Analysis of an informal proof for specifying tests"], 10èmes Journées Formalisation des Activités Concurrentes (FAC’02), Toulouse, France, Mar. 2002, LAAS – CNRS Report n° 02043. 7. Lussier, Guillaume. "Approche pour une collaboration entre vérification statique et dynamique. Test et preuve mathématique" ["Approching a synthesis between static and dynamic verification: tests and mathematical proof"], 2ème Congrès de l’Ecole Doctorale Systèmes (Congrès EDSYS’01), Toulouse, France, Apr. 2001, LAAS – CNRS Report n° 01153. Research Reports (as principal researcher and author): 8. Lussier, Guillaume. "Test Guidé par la Preuve ─ Application à la vérification d’algorithmes de tolérance aux fautes" ["Proof-Guided Testing – Application to the Verification of Fault-Tolerant Algorithms"], Ph.D. Thesis, Institut National des Sciences Appliquées, Toulouse, France, Sept. 2004. 9. Lussier, Guillaume, Hélène Waeselynck, and Kharim Guennoun. "Proof-Guided Testing for Distributed Consensus: Application to TTP," 20 pages, 2003, LAAS – CNRS Report n° 03198, Toulouse, France. References: - Jean Arlat, Leader of the Dependable Computing and Fault Tolerance research group, LAAS-CNRS,7 avenue of Colonel Roche, 31077 Toulouse Cedex, France, +33(0)5.61.33.62.33, [email protected] - Hélène Waeselynck, Doctor at the Dependable Computing and Fault Tolerance research group, LAAS-CNRS, 7 avenue of Colonel Roche, 31077 Toulouse Cedex, France, +33(05).61.33.64.07, [email protected]

- Bernard Coulette, Professor at the Department of Mathematics and Computer Science, University of Toulouse II, 5 allées A. Machado, 31058 Toulouse Cedex, France, +33(05).61.50.38.96, [email protected]