Pierre-Loïc Garoche

News

• Feria-SVF seminar in Toulouse: Séminaire vérification de Toulouse
• Proposal for two Master level internships in Static Analysis: Injections de propriétés dans ACSL and Collaboration de méthodes d’analyse statique: méthode déductive et interprétation abstraite (in french)
• I defended my PhD thesis the 10th of June.
• Since the 5th of May, I am no more at the IRIT laboratory but I have a permanent position at the Onera in its Toulouse site.

Teaching

• Internship proposals in Static Analysis (in french)
  • Injections de propriétés dans ACSL (at Onera/IRIT-N7)
  • Collaboration de méthodes d’analyse statique: méthode déductive et interprétation abstraite (at Onera/IRIT-N7)
  • Analyse statique C avec Frama-C (at Atos Origin)
  • Spécification formelle et Preuve (at Atos Origin)
  • Comparaison d'outils d'analyse statique de programmes (at Airbus)
• 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