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 récents :

• Complete and tractable machine-independent characterizations of second-order polytime.
  Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion et Romain Péchoux,
  Logical Methods in Computer Science, vol 21, issue 1, 2025.
• Declassification Policy for Program Complexity Analysis(ACM Library)
  Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion et Romain Péchoux,
  LICS’24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science.
• A Programming Language Characterizing Quantum Polynomial Time(SpringerLink)
  Emmanuel Hainry, Romain Péchoux et Mário Silva,
  FoSSaCS 2023, Foundations of Software Science and Computation Structures
  Lecture Notes in computer Science, vol. 13992, 2023.
• A General Noninterference Policy for Polynomial Time(ACM Library)
  Emmanuel Hainry et Romain Péchoux,
  POPL 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 (SpringerLink)
  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 (Episciences)
  Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion et Romain Péchoux
  Logical Methods in Computer Science, vol 18, issue 1, 2022.

Enseignements

• IUT Nancy Brabois. Documents et Arche (restreint)

Liens

• DBLP
• HAL