Coordonnées Courriel : Pierre-Emmanuel.Hladikfddd7f7a-f20e-45fd-84f2-b1938e01ab57@ec-nantes.fr Bureaux : S517
Laboratoire Laboratoire des sciences du numérique de Nantes (LS2N) Équipe de recherche Systèmes Temps Réel (STR)
Recherche Après plusieurs années de recherche au LAAS-CNRS, je poursuis désormais mes travaux au LS2N, où je m’intéresse à la conception et à l’optimisation de systèmes embarqués sûrs, soumis à des contraintes de temps et d’énergie. Actuellement, mes recherches portent sur le déploiement fiable de réseaux de capteurs intelligents intermittents, avec comme cas d’étude le suivi des populations d’oiseaux.
Mots-clés Génie industriel Integer Programming Optimization Informatique & bio-informatique Formal Methods Concurrency Simulation numérique & calcul hautes performances Parallel and Distributed Computing
Parcours Parcours 2021-... : Laboratoire des Sciences du Numérique de Nantes (LS2N), Équipe Systèmes Temps Réel (STR). 2021 : Maître de conférences, École Centrale de Nantes, Département Automatique et Robotique. 2007-2021 : Laboratoire d’Architecture et d’Analyse des Systèmes (LAAS-CNRS), Équipe Vérification des systèmes temporisés critiques (Vertics). 2016 : Habilitation à diriger des recherches, Contribution à la conception et à la vérification de systèmes temps réel – Focus sur l’ordonnancement temps réel, Institut National Polytechnique de Toulouse 2015-2016 : Laboratoire en Architecture de Systèmes Informatiques (LASI), École supérieure de technologie (ÉTS), Montréal, Québec, Canada. 2007-2021 : Maître de conférences, Institut National des Sciences Appliquées de Toulouse, Département Génie Électrique et Informatique. 2006-2007 : Laboratoire d’Informatique de Nantes-Atlantique (LINA), Équipe Contraintes. 2006-2007 : Maître assistant associé, École des Mines de Nantes, Département Informatique. 2004-2006 : Attaché temporaire à l’enseignement et à la recherche (plein temps), IUT de Nantes, Département Qualité, Logistique Industrielle et Organisation. 2004 : Doctorat, Ordonnançabilité et placement des systèmes temps réel distribués, préemptifs et à priorités fixes, Institut de Recherche en Communications et Cybernétique de Nantes (IRCCyN), École Centrale de Nantes. 2001-2006 : Institut Recherche en Communications et Cybernétique de Nantes (IRC- CyN), Équipe Systèmes temps réel (STR). 2001-2004 : Moniteur de l’enseignement supérieur, IUT de Nantes, Département Qualité, Logistique Industrielle et Organisation. Enseignement Enseignement J’enseigne principalement dans la filière de spécialité Systèmes Embarqués Communicants, en particulier sur l’interconnexion des systèmes, la programmation GPU et l’accompagnement des projets pédagogiques de dernière année. J’interviens également dans l’option Control et gestion de l'énergie et Informatique pour l'intelligence artificielle, sur les aspects liés à la programmation. Publications Publications
