
- Emmanuel Hainry
- LORIA - B214 - Mocqua
- 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 Mộcqua.
Publications
Liste sur Archives-Ouvertes.fr
Articles choisis :
- A tier-based typed programming language characterizing Feasible Functionals (ACM)
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion et Romain Péchoux,
LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. pp.535-549. - Polynomial time over the reals with parsimony
Emmanuel Hainry, Damiano Mazza et Romain Péchoux,
FLOPS 2020, International Symposium on Functional and Logic Programming, Akita, Japon. - A Type-Based Complexity Analysis of Object Oriented Programs
Emmanuel Hainry and Romain Péchoux,
Information and Computation, 261P1:78-115, 2018. - Higher order interpretation for higher order complexity (Easychair)
Emmanuel Hainry et Romain Péchoux,
LPAR 2017, Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana.
Volume 46 of EPiC Series in Computing, 2017. - 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
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