ENSEEIHT   IRIT

Philippe Quéinnec



Research

Head of ACADIE team (Assistance to the Certification of Distributed and Embedded Applications) at IRIT laboratory.

Team thematics

Personal theme: Modeling and verification of distributed systems

Old projects

Publications

PhD Students


Teaching

Almost all documents are in French.


Hobbies

Hiking in the Pyrénées.


Philippe Quéinnec
Last update: december 15th, 2017.