Emmanuel.Hainry_at_loria.fr (remplacer _at_ par @)
Emmanuel Hainry
LORIA - B242 - Carte
615, rue du jardin botanique
BP 239
54506 Vandœuvre-lès-Nancy
France
Maître de conférences à l’Université Henri Poincaré, Nancy (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
Articles choisis :
- Interpretation of stream programs: characterizing type 2 polynomial time complexity (SpringerLink)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup et Romain Péchoux,
International Symposium on Algorithms and Computation (ISAAC 2010), Cheju, Corée du Sud.
Volume 6506 of Lecture Notes in Computer Science, 2010. - Robust computations with dynamical systems (SpringerLink)
Olivier Bournez, Daniel S. Graça et Emmanuel Hainry,
Mathematical Foundations of Computer Science 2010, Brno, République Tchèque.
Volume 6281 of Lecture Notes in Computer Science, 2010. - 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. - Polynomial differential equations compute all real computable functions on compact intervals (ScienceDirect)
Olivier Bournez, Manuel L. Campagnolo, Daniel S. Graça et Emmanuel Hainry,
Journal of Complexity, 23(3):317-335, 2007. - Recursive Analysis Characterized as a Class of Real Recursive Functions
Olivier Bournez et Emmanuel Hainry,
Fundamenta Informaticae, 74(4):409-433, 2006. - Elementarily computable functions over the real numbers and R-sub-recursive functions (ScienceDirect)
Olivier Bournez et Emmanuel Hainry,
Theoretical Computer Science, 348(2-3):130-147, 2005.
Enseignements
-
IUT Nancy Brabois. Accès aux documents (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