- Emmanuel Hainry
- LORIA - B242 - Carte
- BP 239
- 54506 Vandœuvre-lès-Nancy
Maître de conférences à l’Université de Lorraine (dans le département R&T de l’IUT Nancy Brabois) et au Loria.
Recherche
Ma recherche s’inscrit dans le thème des modèles de calcul continus. Dans ce cadre, j’étudie des machines et des modèles de calcul travaillant sur les réels ou en temps continu et les systèmes dynamiques à temps continu. Je fais partie de l’équipe Carte.
Je suis responsable des séminaires de l’équipe.
J’ai soutenu ma thèse de doctorat en 2006. J’ai obtenu pour ce travail le «prix de thèse de l’INPL 2007.»
Publications
Liste sur Archives-Ouvertes.fr
Articles choisis :
- Higher order interpretation for higher order complexity (Easychair)
Emmanuel Hainry and Romain Péchoux,
LPAR 2017, Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana.
Volume 46 of EPiC Series in Computing, 2017. - Objects in Polynomial Time (SpringerLink)
Emmanuel Hainry et Romain Péchoux,
APLAS 2015, Asian Symposium on Programming Languages and Systems, Pohang, Corée du Sud
Volume 9458 of Lecture Notes in Computer Science, 2015. - Characterizing polynomial time complexity of stream programs using interpretations (ScienceDirect)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup et Romain Péchoux,
Theoretical Computer Science, 585:41-54, 2015 - Computation with perturbed dynamical systems (ScienceDirect)
Olivier Bournez, Daniel S. Graça et Emmanuel Hainry,
Journal of Computer and System Sciences, 79(5):714-724, 2013. - Type-based complexity analysis for fork processes (SpringerLink)
Emmanuel Hainry, Jean-Yves Marion et Romain Péchoux,
Foundations of Software Science and Computation Structures (FoSSaCS 2013), Rome, Italie
Volume 7794 of Lecture Notes in Computer Science, 2013. - Reachability in linear dynamical systems (SpringerLink)
Emmanuel Hainry,
Computability in Europe 2008, Athènes, Grêce.
Volume 5028 of Lecture Notes in Computer Science, 2008.
Enseignements
- IUT Nancy Brabois. Documents et Arche (restreint)
- Algorithmique et Programmation
- Programmation orientée objets
- Systèmes d’exploitation
- Bases de données
- École des Mines de Nancy (2004-2007).
- Bases de données
- Java (introduction à la programmation)
- Fondements de l’informatique
- Bureautique