Philippe Quéinnec

• Maître de conférences, enseignant à l'INPT/ENSEEIHT et chercheur à l'IRIT
• Habilité à diriger les recherches (20/05/2011)
• Adresse électronique : queinnec@enseeiht.fr
• Adresse postale : ENSEEIHT, 2 rue Camichel, F-31071 Toulouse Cedex, France
• Téléphone :
  • Travail : (33) 534 32 21 84
  • Télécopie : (33) 534 32 21 57

Recherche

Thèmes

• systèmes embarqués répartis et systèmes temps-réel répartis
• raffinage de programmes parallèles et répartis
• assistance au développement de programmes répartis
• sûreté de fonctionnement et réplication de services répartis

Anciens projets

• applications multimédias coopératives réparties
• flux multimédias coordonnés, dans le cadre du projet SIGMA (Special Interest Group on Multimedia/Medical Applications)
• Agents mobiles et services répartis
• DADA (Environnement de conception de programmes Unity)
• RAIDS (Replication and Availability of Information in Distributed Systems)

Publications (du groupe)

• Liste de mes publications sur le site officiel de l'IRIT
• Publications du groupe (pas nécessairement aussi à jour mais mieux structuré)
• Mémoire d'HDR, transparents de soutenance d'HDR

Enseignements

• Systèmes opératoires, répartis
• Théorie des automates et théorie des langages
• Systèmes de transition
• Systèmes formels, preuves : un vérificateur de modèles (model-checker) pour la logique des propositions (très élémentaire, pour vérifier rapidement la validité de propositions "humaines" -- moins de 30 variables)
• Unity: un mini-compilateur (simulateur de programmes Unity).

Loisirs

Philippe Quéinnec
Dernière mise à jour : 5 novembre 2011.