ENSEEIHT   IRIT

Philippe Quéinnec



Research

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

Team thematics

Philippe's Current Theme: Modeling and Verification of Distributed Systems

Philippe's Old Projects

Publications

Philippe's PhD Students


Teaching

Almost all documents are in French.


Hobbies

Hiking in the Pyrénées.


Philippe Quéinnec
Last update: April 10th, 2019.