{"id":22,"date":"2015-06-15T11:01:33","date_gmt":"2015-06-15T09:01:33","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=22"},"modified":"2021-09-16T11:38:55","modified_gmt":"2021-09-16T09:38:55","slug":"projets","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/RPechoux\/talks\/projets\/","title":{"rendered":"Projects"},"content":{"rendered":"<p><strong>ANR-17-CE25-0009 SoftQPro<\/strong>:<br \/>\nSoftware-based quantum program and resource optimisation<br \/>\nCoordinator: Simon Perdrix<\/p>\n<p>SoftQPro is a research project in computer science, which started in February 2018 and will last until January 2022. It is jointly developed by several academic partners and industrial partners in France (Atos-Bull and CEA).<\/p>\n<p>The goal is to bridge the theoretical approaches of quantum computing and technological efforts, by developing a full, and certified, compilation chain in order to program the quantum computer.<\/p>\n<p>For more informations about SoftQPro : <a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0009\"> http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0009<\/a><\/p>\n<p><strong>ANR-14-CE25-0005 Elica<\/strong>:<br \/>\nExpanding Logical Ideas for Complexity Analysis<br \/>\nCoordinator: Damiano Mazza<\/p>\n<p>Elica is a research project in computer science, which started in February 2015 and will last until January 2019. It is jointly developed by several academic partners in France and Italy.<\/p>\n<p>Financial support is provided by the Agence Nationale de la Recherche (ANR), under contract number ANR-14-CE25-0005. Elica was selected as part of ANR&rsquo;s 2014 call for projects, under the program Fondements du num\u00e9rique.<\/p>\n<p>The aim of Elica is to develop logical methods for static complexity analysis, improve their expressiveness and extend their application to non-deterministic and concurrent programming paradigms.<\/p>\n<p>Click here for more informations about Elica : <a href=\"https:\/\/lipn.univ-paris13.fr\/~mazza\/Elica\/\">https:\/\/lipn.univ-paris13.fr\/~mazza\/Elica\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>ANR-17-CE25-0009 SoftQPro:<br \/>\nSoftware-based quantum program and resource optimisation<br \/>\nCoordinator: Simon Perdrix<\/p>\n<p>SoftQPro is a research project in computer science, which started in February 2018 and will last until January 2022. It is jointly developed by several academic partners and industrial partners in France (Atos-Bull and CEA).<\/p>\n<p>The goal is to bridge the theoretical approaches of quantum computing and technological efforts, by developing a full, and certified, compilation chain in order to program the quantum computer.<\/p>\n<p>For more informations about SoftQPro : <a href=\"http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0009\"> http:\/\/www.agence-nationale-recherche.fr\/Projet-ANR-17-CE25-0009<\/a><\/p>\n<p>ANR-14-CE25-0005 Elica:<br \/>\nExpanding Logical Ideas for Complexity Analysis<br \/>\nCoordinator: Damiano Mazza<\/p>\n<p>Elica is a research project in computer science,<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":309,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-22","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/22","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\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":9,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":526,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/22\/revisions\/526"}],"up":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/pages\/309"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/RPechoux\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}