![[US]](imgs/us_flag.png)
![[FR]](imgs/fr_flag.png)
News
- Feria-SVF seminar in Toulouse: Séminaire vérification de Toulouse
- Proposal for two Master level internships in Static Analysis for 2011 (written in french, but english speakers welcomed): Native handling of closure operators in SAT or PseudoBool solvers and Proposal of a SMT-lib theory and associate tools to handle finite set
Teaching
- Functionnal Programming
- Concurrent Systems
- TLA : Temporal Logic of Action by Leslie Lamport
- Leslie Lamport, The temporal logic of actions, ACM TOPLAS, v.16(3) 1994 - [available at ACM]
- Lamport's TLA webpage (with book and tools)
Where and how to contact me
My office is located in the Onera - Toulouse center, in the south east of Toulouse, near the Rangueil scientific campus and the ISAE (former Supaero) Engineer school.
- phone +33 (0)5 62 25 29 33,
- fax +33 (0)9 55 35 75 62,
- and by snail mail:
Onera, Centre Midi-Pyrénées
BP 74025 -- 2, avenue Édouard Belin
31055 TOULOUSE CEDEX 4
My email : pierre-loic.garoche@(REMOVE THIS ANTISPAM)onera.fr
