Pierre-Emmanuel Hladik

Pierre-Emmanuel Hladik est Maître de Conférence à l’INSA de Toulouse, Université de Toulouse, France, au département de Génie Electrique et Informatique. 

Pierre-Emmanuel fait des enseignements principalement dans le domaine du logiciel pour les systèmes embarqués : programmation de micro-contrôleurs, langage d’assemblage, temps réel, intégration de système, etc.

Il mène sa recherche au LAAS-CNRS dans l'équipe Vertics sur la vérification des propriétés temporelles des systèmes critiques. Une attention particulière est portée à l’ordonnancement des systèmes temps réel, à leur conception et au problème d’optimisation des architectures.