Official LSV Web Site
|
Pascal LAFOURCADE Ph-D Studient
Laboratoire Spécification et Vérification
|
 |
Phd Defense (Monday September 25th, 2006)
Curriculum Vitae
English version .pdf , .psCurrents Projects
I participe to the following projects:Slides presented at Dourdan 1st and 2nd March 2004
My topic of research .pdf or .psSlides of talk done for ACI ROSSIGNOL 13 December 2004 Cachan
Presentation of result of intruder deduction for AC-like theories plus homomorphisme .pdf or .psSlides of RTA 2005 in Nara (Japan)
Presentation done at RTA'05 in Nara (Japon) : .pdf or .psPresentation to Working Group of team MoVe à Marseille 27 Octobre 2005.
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive-Or. Slides .pdf ou .psTalk to seminar NQRT at Rennes IRISA the 26 june 2006.
Slides of the seminar .pdfTeaching (in French)
- Deug MIAS 1 : Initiation to programming in C
- 1st-students year at Fontainebleau Technical Institue : Mysql and Php
- 1st-students year at Fontainebleau Technical Institue : Bases of programming in C
- 1st-students year at Fontainebleau Technical Institue : Data Bases (SQL)
- 2nd-students year at Fointainebleau Technical Institue : Systeme
- Assistant : Journées Apprentissages de Marseille