Maître de conférences à l’Université de Lorraine (dans le département R&T de l’IUT Nancy Brabois) et au Loria.

Curriculum vitae

Recherche

Ma recherche s’inscrit dans le thème des modèles de calcul continus et de la complexité. 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 General Noninterference Policy for Polynomial Time
  Emmanuel Hainry et Romain Péchoux,
  P0PL 2023, 50th ACM SIGPLAN Symposium on Principles of Programming Languages
  Proceedings of the ACM on Programming Languages, vol. 7, art. 28, pp. 806–832, 2023.
• Complete and tractable machine-independent characterizations of second-order polytime
  Prix EATCS: Best Theory Paper at ETAPS
  Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion et Romain Péchoux
  FoSSaCS 2022, Foundations of Software Science and Computation Structures
  Lecture Notes in Computer Science, vol. 13242, pp. 368-388, 2022.
• A tier-based typed programming language characterizing Feasible Functionals
  Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion et Romain Péchoux
  Logical Methods in Computer Science, vol 18, issue 1, 2022.
• ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs (SpringerLink)
  Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux et Olivier Zeyen,
  ICTAC 2021: 18th International Colloquium on Theoretical Aspects of Computing
  Lecture Notes in Computer Science, vol. 12819, pp. 357-365, 2021.
• A tier-based typed programming language characterizing Feasible Functionals (ACM)
  Emmanuel Hainry, Bruce M. 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 (SpringerLink)
  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 (ScienceDirect)
  Emmanuel Hainry and Romain Péchoux,
  Information and Computation, 261P1:78-115, 2018.
• 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

Liens

• DBLP
• HAL