{"id":19420,"date":"2022-01-05T14:38:21","date_gmt":"2022-01-05T13:38:21","guid":{"rendered":"https:\/\/www.oezratty.net\/wordpress\/?p=19420"},"modified":"2022-01-05T14:42:28","modified_gmt":"2022-01-05T13:42:28","slug":"decode-quantum-avec-simon-perdrix","status":"publish","type":"post","link":"https:\/\/www.oezratty.net\/wordpress\/2022\/decode-quantum-avec-simon-perdrix\/","title":{"rendered":"Decode Quantum avec Simon Perdrix"},"content":{"rendered":"<p>Pour ce <a href=\"https:\/\/www.frenchweb.fr\/decode-quantum-a-la-rencontre-de-simon-perdrix-directeur-de-recherche-a-linria\/431293\">36<sup>e<\/sup> \u00e9pisode<\/a> des entretiens Decode Quantum, <strong>Fanny Bouton<\/strong> et moi-m\u00eame recevons Simon Perdrix, qui est directeur de recherche \u00e0 l\u2019Inria et sp\u00e9cialis\u00e9 d\u2019une mani\u00e8re g\u00e9n\u00e9rale dans la dimension logicielle et outils logiciels du calcul quantique. Au-del\u00e0 de sa sp\u00e9cialit\u00e9 assez pointue, il nous a permis de faire un tour de la recherche fran\u00e7aise dans le domaine des logiciels et algorithmes quantiques.<\/p>\n<p><a href=\"https:\/\/www.oezratty.net\/wordpress\/2022\/decode-quantum-avec-simon-perdrix\/simon-perdrix\/\" rel=\"attachment wp-att-19422\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-19422\" src=\"https:\/\/www.oezratty.net\/wordpress\/wp-content\/Simon-Perdrix.jpg\" alt=\"\" width=\"220\" height=\"229\" \/><\/a><\/p>\n<p>Comme le monde du quantique est tout petit, le parcours de Simon Perdrix croise celui de pas mal de lieux et de personnes d\u00e9j\u00e0 \u00e9voqu\u00e9es dans ces nombreux entretiens. \u00c0 commencer par Grenoble o\u00f9 il a fait ses \u00e9tudes d\u2019ing\u00e9nieur en informatique \u00e0 l\u2019ENSIMAG, puis \u00e0 l\u2019ENS Cachan, puis une th\u00e8se de doctorat. Il a aussi fait un post-doc \u00e0 Oxford o\u00f9 il a d\u00e9couvert le ZX Calculus puis \u00e0 l\u2019Universit\u00e9 d\u2019\u00c9dimbourg sous la direction d\u2019Elham Kashefi. Il est alors devenu chercheur attitr\u00e9 \u00e0 Grenoble au CNRS au LIG en 2009 puis \u00e0 Nancy \u00e0 partir de 2013, dans le laboratoire LORIA, une unit\u00e9 mixte de recherche CNRS, Universit\u00e9 de Lorraine et Inria. Depuis octobre 2021, il est Directeur de Recherche Inria, dans l\u2019\u00e9quipe MOCQA \u00e0 Nancy.<\/p>\n<p><iframe loading=\"lazy\" src=\"https:\/\/widget.spreaker.com\/player?episode_id=48174641&amp;theme=light&amp;playlist=false\" width=\"100%\" height=\"200px\" frameborder=\"0\"><\/iframe><\/p>\n<p>Voici les points saillants de cet entretien :<\/p>\n<ul>\n<li>Question habituelle sur son sujet de th\u00e8se, soutenue en 2006 : <a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-00275323\/PDF\/perdrix-THESE.pdf\">Etude de mod\u00e8le de calcul quantique\u00a0: ressources, machines abstraites et calcul par mesure<\/a> (197 pages).\u00a0Il travaillait au Laboratoire Leibnitz de Grenoble, une UMR (Unit\u00e9 Mixte de Recherche CNRS) qui n\u2019existe plus, avec une \u00e9quipe informatique dirig\u00e9e par <strong>Nicolas Balacheff<\/strong>, et o\u00f9 il y avait rencontr\u00e9 <strong>Philippe Jorrand<\/strong>, Directeur de Recherche au CNRS qui avait mont\u00e9 une petite \u00e9quipe sur le quantique.<\/li>\n<li>Le sujet\u00a0 de sa th\u00e8se porte sur le calcul par mesure, que l&#8217;on appelle aussi MBQC pour Measurement Based Quantum Computing. C&#8217;est un mod\u00e8le de calcul int\u00e9ressant avec des qubits photons qui ne peuvent traverser qu&#8217;un nombre fini de portes quantiques. Le modle est notamment repris par la startup PsiQuantum (avec la variante du FBQC) et le sera aussi par la startup <strong>Quandela<\/strong>. C&#8217;est aussi int\u00e9ressant d\u2019un point de vue th\u00e9orique car le mod\u00e8le favorise le parall\u00e9lisme du calcul quantique. C&#8217;est un mod\u00e8le hybride du fait de mesures classiques qui sont r\u00e9alis\u00e9es pendant le calcul.<\/li>\n<li>Il raconte aussi ses passages comme post-doc dans les Universit\u00e9s d&#8217;Oxford et d&#8217;Edimbourg de 2007 \u00e0 2009. C&#8217;est \u00e0 Oxford qu&#8217;il d\u00e9couvre\u00a0le ZX Calculus, une m\u00e9thode de programmation quantique graphique cr\u00e9\u00e9e par <strong>Ross Duncan<\/strong>. Il a pu alors faire un lien entre le calcul par mesure (MBQC) et le ZX calculus.<\/li>\n<li>A \u00c9dimbourg, avec <strong>Elham Kashefi<\/strong>, il a continu\u00e9 \u00e0 travailler sur le MBQC et le d\u00e9terminisme.<\/li>\n<li>Il expose l&#8217;int\u00e9r\u00eat du ZX Calculus, qui peut servir au niveau d&#8217;un compilateur aussi bien qu\u2019au niveau du calcul lui-m\u00eame. Cela peut servir \u00e0 prouver qu\u2019un protocole est correct, comme celui de la t\u00e9l\u00e9portation quantique qui sert \u00e0 transmettre l&#8217;\u00e9tat d&#8217;un qubit \u00e0 un autre qubit.<\/li>\n<li>Il d\u00e9crit ensuite ses d\u00e9buts de sa vie de chercheur, \u00e0 commencer par Grenoble au LIG (Laboratoire d&#8217;Informatique de Grenoble, maintenant int\u00e9gr\u00e9 dans UGA, l&#8217;Universit\u00e9 Grenoble-Alpes). Il y passe 4 ans, notamment avec\u00a0<strong>Medhi Mallah<\/strong>. Il y encadre la\u00a0th\u00e8se de <strong>J\u00e9r\u00f4me Jeandel<\/strong> sur le partage de secrets quantiques. Cela aboutit \u00e0 des recherches sur les codes de correction d&#8217;erreur dans le calcul quantique aussi bien que sur la distribution de cl\u00e9s quantiques \u00e0 plusieurs personnes.<\/li>\n<li>On passe ensuite par Nancy, dans le laboratoire d&#8217;<strong>Emmanuel Jeandel<\/strong> au LORIA, une\u00a0UMR de l&#8217;Universit\u00e9 de Lorraine, Inria et du CNRS. Il y travaille\u00a0avec <strong>Renaud Vilmart<\/strong> sur des notions th\u00e9oriques de compl\u00e9tude, utiles pour la mise au point de\u00a0compilateurs. Au LORIA se trouve aussi <strong>Christophe Vuillot<\/strong> qui travaille sur la correction d&#8217;erreurs. . Ces \u00e9quipes sont aussi int\u00e9gr\u00e9es dans l&#8217;\u00e9quipe MOCQUA d&#8217;Inria.<\/li>\n<li>Simon \u00e9voque aussi le Groupement de Recherche (GDR) <strong>InfoMath<\/strong> qui rassemble les sp\u00e9cialistes du logiciel quantique (algorithmie, compilation, langages, v\u00e9rification, certification, optimisation de circuits, correction d&#8217;erreurs). Il cite la grosse quinzaine de laboratoires de recherche publics et dans le priv\u00e9 concern\u00e9s par ces sujets en France :<\/li>\n<\/ul>\n<ol>\n<li>CNRS IRIF (Fr\u00e9d\u00e9ric Magniez, Sophie Laplante, Iordanis Kerenidis).<\/li>\n<li>CNRS LIP6 (Elham Kashefi, Damian Markham).<\/li>\n<li>CNRS LMF avec l&#8217;\u00e9quipe QUACS (Laboratoire des M\u00e9thodes Formelles) \u00e0 Saclay (Benoit Valiron, Pablo Arrighi, Renaud Vilmart).<\/li>\n<li>Inria Lyon (Omar Fawzi, h\u00e9berg\u00e9 \u00e0 l\u2019ENS Lyon).<\/li>\n<li>UGA LIG (Medhi Mallah).<\/li>\n<li>Inria Grenoble (Alastair Abbott).<\/li>\n<li>Inria Rennes (\u00e9quipe PACAP avec Caroline Colange, sur le classement de qubits)<\/li>\n<li>Femto-ST \u00e0 Nancy.<\/li>\n<li>CEA-LIST \u00e0 Palaiseau (S\u00e9bastien Bardin, Christophe Chareron), et aussi Nicolas Sangouard (CEA DRF \u00e0\u00a0 Saclay) et Xavier Waintal (CEA IRIG \u00e0 Grenoble).<\/li>\n<li>Inria Paris Cosmiq (Anthony Leverrier sur la PQC, post-quantum cryptography).<\/li>\n<li>Inria Paris Quantiq (Mazyar Mirrahimi).<\/li>\n<li>Atos (Cyril Allouche, Simon Martiel, Thomas Ayral).<\/li>\n<li>EDF R&amp;D (Marc Porcheron).<\/li>\n<li>Quandela (Shane Mansfield).<\/li>\n<li>Universit\u00e9 de Bordeaux (Cyril Gavoille et Gilles Z\u00e9mor).<\/li>\n<li>Universit\u00e9 Aix-Marseille (Giuseppe Di Molfetta, Pierre Clairembault).<\/li>\n<\/ol>\n<ul>\n<li>Il d\u00e9crit les travaux en cours avec Alexandre <strong>Cl\u00e9ment,<\/strong> th\u00e9sard sur le th\u00e8me du PBS Calculus qui consiste \u00e0 faire du calcul avec des <strong>Quantum Switches<\/strong> \u00e0\u00a0 base de composants optiques de type PBS\u00a0(polarizing beam splitters). Cela permet de r\u00e9aliser de la programmation quantique conditionnelle et de r\u00e9soudre des probl\u00e8mes plus efficacement.<\/li>\n<li>Nous \u00e9voquons les outils de d\u00e9veloppement du ZX calculus :\u00a0<strong>Quantomatic<\/strong>, un assistant de preuve (ancien) et plus r\u00e9cemment, avec <strong>PyZX<\/strong> cr\u00e9\u00e9 par <strong>Aleks Kissinger<\/strong> de l&#8217;Universit\u00e9 d&#8217;Oxford.<\/li>\n<li>Puis les collaborations internationales au-del\u00e0 d&#8217;Oxford et \u00c9dinbourg avec l&#8217;Autriche, l&#8217;Argentine (avec Alejandro Lascaro qui a fait sa th\u00e8se \u00e0 Grenoble) et Singapour (avec Joe Fitzsimmons, cr\u00e9ateur de la startup Horizon Quantum Computing).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Pour ce 36e \u00e9pisode des entretiens Decode Quantum, Fanny Bouton et moi-m\u00eame recevons Simon Perdrix, qui est directeur de recherche \u00e0 l\u2019Inria et sp\u00e9cialis\u00e9 d\u2019une mani\u00e8re g\u00e9n\u00e9rale dans la dimension logicielle et outils logiciels du calcul quantique. Au-del\u00e0 de sa sp\u00e9cialit\u00e9 assez pointue, il nous a permis de faire un tour de la recherche fran\u00e7aise [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,7,3057],"tags":[3469,108,3467,3303,3462,392,3321,3468,3464,3460,3465,3177,3088,3461,3463,3466],"class_list":["post-19420","post","type-post","status-publish","format-standard","hentry","category-actualites","category-logiciels","category-quantique","tag-cea-list","tag-cnrs","tag-edinbourg","tag-elham-kashefi","tag-ensimag","tag-inria","tag-iordanis-kerenidis","tag-irif","tag-lig","tag-loria","tag-medhi-mallah","tag-oxford","tag-quantique","tag-simon-perdrix","tag-uga","tag-zx-calculus"],"views":10060,"_links":{"self":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts\/19420","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/comments?post=19420"}],"version-history":[{"count":0,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts\/19420\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/media?parent=19420"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/categories?post=19420"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/tags?post=19420"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}