Pierre-Loïc Garoche

News

• Séminaire Feria-SVF à Toulouse: Séminaire vérification de Toulouse
• Propositions de sujets de stage de Master 2 recherche en analyse statique:
  • Intégration native d’opérateur de clôture dans un solveur SAT ou PseudoBool
  • Proposition d’une signature SMT-lib outillée pour une théorie des ensembles finis

Enseignement

• Programmation fonctionnelle
• Systèmes concurrents
• TLA : Temporal Logic of Action de Leslie Lamport
  • Leslie Lamport, The temporal logic of actions, ACM TOPLAS, v.16(3) 1994 - [disponible sur le site de l'ACM]
  • Page web de TLA chez Lamport (avec le livre et les outils)

Comment me contacter ?

Mon bureau se trouve à l'Onera au sud est de Toulouse, près du campus scientifique de Rangueil et de l'ISAE (anciennement Supaéro).

Vous pouvez également me joindre par :

• téléphone +33 (0)5 62 25 29 33,
• fax +33 (0)9 55 35 75 62,
• et par courrier
  Onera, Centre Midi-Pyrénées
  BP 74025 -- 2, avenue Édouard Belin
  31055 TOULOUSE CEDEX 4

Mon email : pierre-loic.garoche@(RETIREZ CET ANTISPAM)onera.fr