{"id":56,"date":"2015-06-16T13:44:07","date_gmt":"2015-06-16T11:44:07","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=56"},"modified":"2026-03-01T23:23:01","modified_gmt":"2026-03-01T21:23:01","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/RPechoux\/","title":{"rendered":"Romain P\u00e9choux"},"content":{"rendered":"<p>I am a Professor of Computer Science at Universit\u00e9 de Lorraine and member of the Inria quantum Project team <a href=\"http:\/\/mocqua.loria.fr\/\">Mocqua<\/a>, Loria.<\/p>\n<h1>Research:<\/h1>\n<p>My main research domain is quantum computing and, more specifically, the study of the complexity properties of quantum programs. I am also interested in:<\/p>\n<ul>\n<li>static analysis and verification<\/li>\n<li>logic and type systems<\/li>\n<li>computational models<\/li>\n<li>implicit computational complexity<\/li>\n<\/ul>\n<p>I am member of <a href=\"https:\/\/project.inria.fr\/epiq\/\">PEPR EPiQ<\/a>, the Hybrid Quantum Computing Platform <a href=\"https:\/\/www.hqi.fr\/en\/\"> HQI <\/a>, and of the <a href=\"http:\/\/neasqc.eu\/\"> NEASQC<\/a> project on next applications of Quantum computing, funded by European Commission REA. <strong>Vice-Chair<\/strong> for the HORIZON MSCA call, ENG panel since 2024. I was the <strong>principal investigator<\/strong> (PI) of the Inria associate team <a href=\"https:\/\/members.loria.fr\/RPechoux\/ea-tcpro%c2%b3\/\"> TC(Pro)<sup>3<\/sup><\/a> (2019-2024).<\/p>\n<p>&nbsp;<\/p>\n<h1>Education and employment:<\/h1>\n<ul>\n<li>Professor (PR), Universit\u00e9 de Lorraine, 2025-now<\/li>\n<li>Associate Professor (MCF HC), Universit\u00e9 de Lorraine, 2021-2025<\/li>\n<li>HDR, Universit\u00e9 de Lorraine, 2020 (<a href=\"https:\/\/hal.univ-lorraine.fr\/tel-02978986v3\/document\">Manuscript<\/a>, <a href=\"https:\/\/homepages.loria.fr\/RPechoux\/talks\/HDRslides.pdf\">Slides<\/a>)<\/li>\n<li>D\u00e9l\u00e9gation Inria, 2019-2021<\/li>\n<li>D\u00e9l\u00e9gation CNRS, 2018-2019<\/li>\n<li>Assistant Professor (MCF), Universit\u00e9 de Lorraine, 2012-2021<\/li>\n<li>Assistant Professor (MCF), Universit\u00e9 de Nancy 2, 2009-2012<\/li>\n<li>Research fellow, Trinity College, Dublin, 2008-2009<\/li>\n<li>Assistant Professor (ATER), T\u00e9l\u00e9com Nancy, UHP, 2007-2008<\/li>\n<li>PhD in Computer Science, INPL, 2004-2007<\/li>\n<li>Civil Engineer, Ecole des Mines, INPL, 2001-2004<\/li>\n<li>Master in Computer Science (B), INPL, 2004<\/li>\n<li>Master 1 (Maitr\u00eese) in Mathematics (B), Universit\u00e9 Henri Poincar\u00e9, 2003<\/li>\n<li>MPSI-MP*, Lyc\u00e9e Victor Hugo, Besan\u00e7on, 1999-2001<\/li>\n<li>Baccalaur\u00e9at S, sp\u00e9cialit\u00e9 Math\u00e9matiques (TB), Lyc\u00e9e du Parc, Lyon, 1999<\/li>\n<\/ul>\n<h1>News<\/h1>\n<ul>\n<li>The paper \u00ab\u00a0A Polytime Quantum Programming Language\u00a0\u00bb, coauthored with Emmanuel Hainry and M\u00e1rio Silva has been accepted at <strong>ACM Quantum<\/strong>.<\/li>\n<li>In 2025, I will act again as <strong>Vice-Chair<\/strong> for the HORIZON MSCA call, ENG panel (since 2024).<\/li>\n<li>The paper \u00ab\u00a0Quantum Programming in Polylogarithmic Time\u00a0\u00bb, coauthored with Florent Ferrari, Emmanuel Hainry, and M\u00e1rio Silva has been accepted at <strong>MFCS 2025<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0Branch sequentilization in quantum polytime\u00a0\u00bb, coauthored with Emmanuel Hainry and M\u00e1rio Silva has been accepted at <strong>FSCD 2025<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0Combining quantum and classical control: syntax, semantics and adequacy\u00a0\u00bb, coauthored with Kinnari Dave, Louis Lemonnier, and Vladimir Zamdzhiev has been accepted at <strong>FoSSaCS 2025<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0Complete and tractable machine-independent characterizations of second-order polytime\u00a0\u00bb, coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion, has been published in Logical Methods in Computer Science (<strong>LMCS<\/strong>), 2025.<\/li>\n<li>I have been appointed <strong>PC member<\/strong> of the Computability in Europe 2025 conference and co-organizer, with Georg Moser, of a special session on quantum computing.<\/li>\n<li>The paper \u00ab\u00a0Declassification Policy for Program Complexity Analysis\u00a0\u00bb, coauthored with Emmanuel Hainry, Bruce Kapron and Jean-Yves Marion has been accepted at <strong>LICS 2024<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0On the Hardness of Analyzing Quantum Programs Quantitatively\u00a0\u00bb, written with Martin Avanzini, Georg Moser, and Simon Perdrix, has been accepted at the 33rd European Symposium on Programming <strong>ESOP 2024<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0A programming language characterizing quantum polynomial time\u00a0\u00bb, coauthored with Emmanuel Hainry and M\u00e1rio Silva has been accepted at <strong>FoSSaCS 2023<\/strong>.<\/li>\n<li>The paper \u00ab\u00a0A general noninterference policy for polynomial time\u00a0\u00bb, coauthored with Emmanuel Hainry has been accepted and presented at <strong>POPL 2023<\/strong>.<\/li>\n<\/ul>\n<h1>Prizes and awards<\/h1>\n<ul>\n<li><strong>Best Paper Award <\/strong>of the EATCS at ETAPS 2022<\/li>\n<li><strong>Nomination<\/strong> to the Best Paper Award of the EAPLS at ETAPS 2022<\/li>\n<li>1 year of <strong>D\u00e9l\u00e9gation CNRS<\/strong> awarded (2018-2019)<\/li>\n<li>2 years of <strong>D\u00e9l\u00e9gation Inria<\/strong> awarded (2019-2021)<\/li>\n<li><strong>Prime<\/strong> d\u2019Excellence Scientifique 2016-2020<\/li>\n<li><strong>Prime<\/strong> RIPEC C3 2021-2025<\/li>\n<\/ul>\n<h1>Projects<\/h1>\n<ul>\n<li>MSCA SE QCOMICAL (2025)<\/li>\n<li>PEPR EPiQ (2022-2027)<\/li>\n<li>PEPR HQI (2022-2027)<\/li>\n<li>HORIZON EUROPE NEASQC (2020-2024)<\/li>\n<li>Inria associate team TC(Pro)3 (PI, 2019-2024)<\/li>\n<li>ANR SoftQPro (2019-2022)<\/li>\n<li>ANR Elica (2015-2019)<\/li>\n<li>ANR Binsec (2012-2016)<\/li>\n<li>Inria associate team CRISTAL (PI, 2009-2012)<\/li>\n<li>ANR Complice (2008-2013)<\/li>\n<li>ACI Criss (2004-2008)<\/li>\n<\/ul>\n<h1>Some events:<\/h1>\n<ul>\n<li><a href=\"https:\/\/sites.google.com\/view\/cie2025-computabilityineurope\/\">CiE 2025<\/a> (PC), co-organizer of the special session on quantum computing.<\/li>\n<li><a href=\"https:\/\/ifl22.github.io\/\">IFL 2022<\/a> (PC)<\/li>\n<li><a href=\"https:\/\/conf.researchr.org\/track\/etaps-2019\/dice-fopara-2019-papers\">DICE-FOPARA 2019<\/a> (PC)<\/li>\n<li><a href=\"http:\/\/cl-informatik.uibk.ac.at\/users\/zini\/events\/dice18\/\">DICE 2018 <\/a> (PC)<\/li>\n<li><a href=\"http:\/\/resourceanalysis.cs.ru.nl\/rac2016\/\">RAC 2016<\/a> (PC)<\/li>\n<li><a href=\"http:\/\/resourceanalysis.cs.ru.nl\/fopara\/\">FOPARA 2015<\/a> (PC)<\/li>\n<li><a href=\"http:\/\/dice14.tcs.ifi.lmu.de\/\">DICE 2014<\/a> (PC)<\/li>\n<li><a href=\"http:\/\/cca-net.de\/cca2013\/\">CCA 2013<\/a> (OC)<\/li>\n<\/ul>\n<h1>Teaching<\/h1>\n<p>My teachings are as follows:<\/p>\n<ul>\n<li>Formal languages and computational models (Bachelor, 3rd year)<\/li>\n<li>Computational complexity (Master, 1st year)<\/li>\n<li>Computability theory (Master, 1st year)<\/li>\n<li>Introduction to quantum computing (Master, 1st year)<\/li>\n<\/ul>\n<h1>Students and Collaborations<\/h1>\n<ul>\n<li>Postdoc:\n<ul>\n<li>Vladimir Zamdzhiev (PhD Oxford) with Simon Perdrix in 2018.<\/li>\n<\/ul>\n<\/li>\n<li>PhD:\n<ul>\n<li>Kathleen Barsse (master at ENS Paris Saclay) co-advised with Simon Perdrix (2024-2027)<\/li>\n<li>Jad Issa (master at Universit\u00e9 de Paris-Cit\u00e9 and Universit\u00e9 Paris Saclay) advised with Christophe Chareton (CEA) (2024-2027)<\/li>\n<li>Thomas Vinet (master at Telecom Paris) advised with Emmanuel Hainry (2024-2027)<\/li>\n<li>Kinnari Dave (master at Yale University) advised with Vladimir Zamdzhiev (2022-2025)<\/li>\n<li>M\u00e1rio Silva (master at Instituto Superior T\u00e9cnico, Lisboa) advised with Emmanuel Hainry (2021-2025) (<a> manuscript<\/a>)<\/li>\n<li>Pierre Mercuriali (master at UFR MI, Universit\u00e9 de Lorraine) \u00a0co-advised with Miguel Couceiro (2016-2020) (<a href=\"http:\/\/docnum.univ-lorraine.fr\/public\/DDOC_T_2020_0241_MERCURIALI.pdf\"> manuscript<\/a>)<\/li>\n<li>Thanh Dinh Ta (master at Universit\u00e9 Claude Bernard, Lyon) co-advised with Jean-Yves Marion (2011-2013)(<a href=\"https:\/\/hal.univ-lorraine.fr\/tel-01292602v1\/file\/DDOC_T_2015_0040_TA.pdf\"> manuscript<\/a>)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Master 2:\n<ul>\n<li>Kathleen Barsse (ENS Paris Saclay) co-advised with Simon Perdrix in 2023<\/li>\n<li>Nishigandha Yadav (FST UL) co-advised with Emmanuel Hainry in 2021<\/li>\n<li>Pierre Mercuriali (master at UFR MI, Universit\u00e9 de Lorraine) \u00a0co-advised with Miguel Couceiro in 2016<\/li>\n<li>Gwendal Carpy (Ecole des Mines)\u00a0co-advised with Emmanuel Hainry in 2013<\/li>\n<li>Hugo F\u00e9r\u00e9e (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2011<\/li>\n<li>Thanh Dinh Ta (master at Universit\u00e9 Claude Bernard, Lyon, and IFI, Hano\u00ef) co-advised with Jean-Yves Marion\u00a0in 2011<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Master 1:\n<ul>\n<li>Th\u00e9o Alison (FST UL) co-advised with Emmanuel Hainry in 2020<\/li>\n<li>Matthias Bertrand (FST UL) co-advised with Emmanuel Hainry in 2020<\/li>\n<li>Cl\u00e9ment Koch (FST UL) co-advised with Emmanuel Hainry in 2020<\/li>\n<li>Hugo F\u00e9r\u00e9e (ENS Lyon) co-advised with Emmanuel Hainry and Mathieu Hoyrup in 2010<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>Bachelor (3rd year):\n<ul>\n<li>Florent Ferrari (ENS Lyon) co-advised with Emmanuel Hainry and M\u00e1rio Silva 2024<\/li>\n<li>Olivier Zeyen (FST UL) co-advised with Emmanuel Hainry in 2019<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<h1>Responsabilities:<\/h1>\n<ul>\n<li><strong>Vice-chair<\/strong> of HORIZON EUROPE MSCA, panel ENG, since 2024<\/li>\n<li>Elected <strong>member<\/strong> of the LORIA laboratory council, Universit\u00e9 de Lorraine, 2018-2024<\/li>\n<li><strong>Expert<\/strong> and <strong>Rapporteur<\/strong> for HORIZON MSCA 2018-2023<\/li>\n<li><strong>Guest editor<\/strong> for <a href=\"https:\/\/www.journals.elsevier.com\/theoretical-computer-science\/call-for-papers\/mplicit-computational-complexity\">TCS special issue on Implicit Computational Complexity<\/a>, 2018-2020<\/li>\n<li>Elected <strong>member<\/strong> of the IDMC council, Universit\u00e9 de Lorraine, 2014-2018<\/li>\n<li><strong>Head<\/strong> of the MIAGE bachelor, 2011 to 2018.<\/li>\n<li><strong>Director<\/strong> of the bureautics (C2i) at Universit\u00e9 de Nancy, 2009-2011<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I am a Professor of Computer Science at Universit\u00e9 de Lorraine and member of the Inria quantum Project team <a href=\"http:\/\/mocqua.loria.fr\/\">Mocqua<\/a>, Loria.<\/p>\n<p>Research:<\/p>\n<p>My main research domain is quantum computing and, more specifically, the study of the complexity properties of quantum programs. I am also interested in:<\/p>\n<ul>\n<li>static analysis and verification<\/li>\n<li>logic and type systems<\/li>\n<li>computational models<\/li>\n<li>implicit computational complexity<\/li>\n<\/ul>\n<p>I am member of <a href=\"https:\/\/project.inria.fr\/epiq\/\">PEPR EPiQ<\/a>, the Hybrid Quantum Computing Platform <a href=\"https:\/\/www.hqi.fr\/en\/\"> HQI <\/a>, and of the <a href=\"http:\/\/neasqc.eu\/\"> NEASQC<\/a> project on next applications of Quantum computing,<\/p>\n","protected":false},"author":96,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-56","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/users\/96"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":145,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":795,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/56\/revisions\/795"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}