{"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":"2020-10-02T17:22:18","modified_gmt":"2020-10-02T15:22:18","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/RVilmart\/","title":{"rendered":"My Current Work"},"content":{"rendered":"<h2><span style=\"color: #bd0000\">This website is no longer up to date. It has been moved to <span style=\"color: #ff0000\"><a style=\"color: #ff0000\" href=\"https:\/\/rvilmart.github.io\/\"><span style=\"color: #ff6600\">https:\/\/rvilmart.github.io\/<\/span><\/a><\/span>.<\/span><\/h2>\n<p>I was a Ph.D. Student in the field of <span style=\"color: #4e81a9\">quantum information<\/span>, under the supervision of <a href=\"https:\/\/members.loria.fr\/EJeandel\/\">Emmanuel Jeandel<\/a> and <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\">Simon Perdrix<\/a> at <a href=\"https:\/\/www.loria.fr\/\">Loria<\/a> in the team <a href=\"https:\/\/mocqua.loria.fr\/\">Mocqua<\/a>.<\/p>\n<p>I am studying an intuitive graphical language called <span style=\"color: #4e81a9\">ZX-Calculus<\/span> that can be used to reason with quantum systems and compute them. This language comes from the category theory, and can in fact be seen as a generalisation of quantum circuits. One of its potential uses is hence to make a bridge between the high-level programming and the low-level embedding of quantum algorithms.<\/p>\n<p>We particularly proved the completeness of the language for the first approximately universal fragment <a href=\"https:\/\/arxiv.org\/abs\/1705.11151\">[?]<\/a>, and implemented the new axioms (<a href=\"\/RVilmart\/files\/Complete-ZX-CliffordT.zip\">here<\/a>) in <a href=\"https:\/\/quantomatic.github.io\/\">Quantomatic<\/a>.<\/p>\n<p>I now work as a postdoc with <a href=\"https:\/\/www.monoidal.net\/\">Beno\u00eet Valiron<\/a> at <a href=\"https:\/\/www.lri.fr\/\">LRI<\/a> in Saclay.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>This website is no longer up to date. It has been moved to <a style=\"color: #ff0000\" href=\"https:\/\/rvilmart.github.io\/\">https:\/\/rvilmart.github.io\/<\/a>.<\/p>\n<p>I was a Ph.D. Student in the field of quantum information, under the supervision of <a href=\"https:\/\/members.loria.fr\/EJeandel\/\">Emmanuel Jeandel<\/a> and <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\">Simon Perdrix<\/a> at <a href=\"https:\/\/www.loria.fr\/\">Loria<\/a> in the team <a href=\"https:\/\/mocqua.loria.fr\/\">Mocqua<\/a>.<\/p>\n<p>I am studying an intuitive graphical language called ZX-Calculus that can be used to reason with quantum systems and compute them. This language comes from the category theory, and can in fact be seen as a generalisation of quantum circuits. One of its potential uses is hence to make a bridge between the high-level programming and the low-level embedding of quantum algorithms.<\/p>\n","protected":false},"author":5,"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\/RVilmart\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":29,"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":402,"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/pages\/56\/revisions\/402"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/RVilmart\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}