{"id":10,"date":"2015-06-15T10:23:49","date_gmt":"2015-06-15T08:23:49","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=10"},"modified":"2023-10-09T17:51:42","modified_gmt":"2023-10-09T15:51:42","slug":"cv","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/AClement\/cv\/","title":{"rendered":"Curriculum Vitae"},"content":{"rendered":"<div class=\"important_div\" style=\"text-align: center\"><\/div>\n<h4 class=\"cv\">Education<\/h4>\n<ul>\n<li class=\"p1\"><span class=\"s1\">2019-2023 : PhD (<a href=\"https:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">LORIA<\/a> \/ <a href=\"https:\/\/www.univ-lorraine.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Universit\u00e9 de Lorraine<\/a>)<\/span><span class=\"s1\"> on <em><a href=\"https:\/\/www.theses.fr\/en\/2023LORR0093\" target=\"_blank\" rel=\"noopener\">Graphical Languages for Quantum Control and Linear Optics<\/a><\/em><\/span>, supervised by <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\" target=\"_blank\" rel=\"noopener noreferrer\">Simon Perdrix<\/a> and <a href=\"https:\/\/members.loria.fr\/EJeandel\/\" target=\"_blank\" rel=\"noopener\">Emmanuel Jeandel<\/a><span class=\"s1\">, defended on May 16, 2023<br \/>\n<\/span><\/li>\n<li>2018-2019 : Research internships related to the\u00a0<a href=\"http:\/\/www.ens-lyon.fr\/formation\/offre-de-formation\/diplome-de-lens-de-lyon\" target=\"_blank\" rel=\"noopener noreferrer\">Diploma<\/a> of the <a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a><\/li>\n<li>2017-2018 : MSc in <a href=\"http:\/\/master.math.univ-paris-diderot.fr\/en\/annee\/m2-lmfi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Mathematical Logic and Foundations of Computer Science<\/a> (<a href=\"https:\/\/u-paris.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Universit\u00e9 Paris Diderot<\/a>, Paris, France)<\/li>\n<li>2016-2017 : MSc in mathematics (<a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a>, Lyon, France) (first year)<em><strong><br \/>\n<\/strong><\/em><\/li>\n<li>2015-2016 : BSc in mathematics (<a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a>, Lyon, France) (third year)<\/li>\n<li>2014-2015 : MP* (<a href=\"https:\/\/www.janson-de-sailly.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Lyc\u00e9e Janson de Sailly<\/a>, Paris, France)<\/li>\n<li>2013-2014 : MP (<a href=\"https:\/\/www.janson-de-sailly.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Lyc\u00e9e Janson de Sailly<\/a>, Paris, France)<\/li>\n<li>2012-2013 : MPSI (<a href=\"https:\/\/www.janson-de-sailly.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Lyc\u00e9e Janson de Sailly<\/a>, Paris, France)<\/li>\n<\/ul>\n<h4 class=\"cv\">Work experience<\/h4>\n<ul>\n<li>2023-Now : Postdoc in the <a href=\"https:\/\/lmf.cnrs.fr\/Research\/Quant\" target=\"_blank\" rel=\"noopener\">QuaCS<\/a> team of <a href=\"https:\/\/lmf.cnrs.fr\/\" target=\"_blank\" rel=\"noopener\">LMF<\/a>, <strong>Gif-sur-Yvette, France<\/strong><\/li>\n<li>2019-2023<span class=\"s1\"> : PhD (<a href=\"https:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">LORIA<\/a> \/ <a href=\"https:\/\/www.univ-lorraine.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Universit\u00e9 de Lorraine<\/a>)<\/span><strong>, Nancy, France<\/strong><\/li>\n<\/ul>\n<h5>Internships<\/h5>\n<ul>\n<li class=\"p1\"><span class=\"s1\">2019 (4 months) &#8211;<\/span><strong><a href=\"https:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\"><span class=\"s1\"> LORIA<\/span><\/a><\/strong><strong>, Nancy, France<\/strong>, <em>supervised by<\/em> <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\" target=\"_blank\" rel=\"noopener noreferrer\">Simon Perdrix<\/a> &#8211; Started working on a graphical language for beamsplitter-based quantum control.<\/li>\n<li class=\"p1\">2018\/2019 (5 months) &#8211; <a href=\"https:\/\/www.dal.ca\" target=\"_blank\" rel=\"noopener noreferrer\"><strong>Dalhousie University<\/strong><\/a><strong>, Halifax, Canada<\/strong>, <em>supervised by<\/em> <a href=\"https:\/\/www.mathstat.dal.ca\/~selinger\/\" target=\"_blank\" rel=\"noopener noreferrer\">Peter Selinger<\/a> <em>and<\/em> <a href=\"https:\/\/www.mathstat.dal.ca\/~neilr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Neil J. Ross<\/a> &#8211; Found a complete axiomatization of the real Clifford+T group.<\/li>\n<li>2018 (3 months) &#8211; <strong><a href=\"https:\/\/www.irif.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">IRIF<\/a>, Paris, France<\/strong>, <em>supervised by<\/em> <a href=\"https:\/\/www.irif.fr\/~michele\/\" target=\"_blank\" rel=\"noopener noreferrer\">Michele Pagani<\/a> <em>and<\/em> <a href=\"https:\/\/www.monoidal.net\/\" target=\"_blank\" rel=\"noopener noreferrer\">Beno\u00eet Valiron<\/a> &#8211; Looked for a model of quantum lambda-calculus with recursion made of finite-entry matrices.<\/li>\n<li>2017 (8 weeks) &#8211; <strong><a href=\"https:\/\/www.i2m.univ-amu.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">I2M<\/a>, Marseille, France<\/strong>, <em>supervised by<\/em> <a href=\"https:\/\/www.i2m.univ-amu.fr\/perso\/laurent.regnier\/\" target=\"_blank\" rel=\"noopener noreferrer\">Laurent Regnier<\/a> <em>and<\/em> <a href=\"http:\/\/www.i2m.univ-amu.fr\/perso\/dimitri.ara\/\" target=\"_blank\" rel=\"noopener noreferrer\">Dimitri Ara<\/a> &#8211; Bibliographic research about the cubical model of homotopy type theory.<\/li>\n<li>2016 (6 weeks) &#8211; <strong><a href=\"https:\/\/www.i2m.univ-amu.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">I2M<\/a>, Marseille, France<\/strong>, <em>supervised by<\/em> <a href=\"https:\/\/www.i2m.univ-amu.fr\/perso\/laurent.regnier\/\" target=\"_blank\" rel=\"noopener noreferrer\">Laurent Regnier<\/a> &#8211; Bibliographic research about independence of the continuum hypothesis towards the ZF theory.<\/li>\n<\/ul>\n<h4>Diplomas and degrees<\/h4>\n<ul>\n<li>2019 : <a href=\"http:\/\/www.ens-lyon.fr\/formation\/offre-de-formation\/diplome-de-lens-de-lyon\" target=\"_blank\" rel=\"noopener noreferrer\">Diploma<\/a> of the <a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a><\/li>\n<li>2018 : MSc in mathematics, with specialty <a href=\"http:\/\/master.math.univ-paris-diderot.fr\/en\/annee\/m2-lmfi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Mathematical Logic and Foundations of Computer Science<\/a><\/li>\n<li>2016 : Licence (3-year BSc) in mathematics<\/li>\n<li>2012 : Bac S, sp\u00e9cialit\u00e9 math\u00e9matiques (high school graduation)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Education<\/p>\n<ul>\n<li class=\"p1\">2019-2023 : PhD (<a href=\"https:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">LORIA<\/a> \/ <a href=\"https:\/\/www.univ-lorraine.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Universit\u00e9 de Lorraine<\/a>) on <em><a href=\"https:\/\/www.theses.fr\/en\/2023LORR0093\" target=\"_blank\" rel=\"noopener\">Graphical Languages for Quantum Control and Linear Optics<\/a><\/em>, supervised by <a href=\"https:\/\/members.loria.fr\/SPerdrix\/\" target=\"_blank\" rel=\"noopener noreferrer\">Simon Perdrix<\/a> and <a href=\"https:\/\/members.loria.fr\/EJeandel\/\" target=\"_blank\" rel=\"noopener\">Emmanuel Jeandel<\/a>, defended on May 16, 2023\n<\/li>\n<li>2018-2019 : Research internships related to the\u00a0<a href=\"http:\/\/www.ens-lyon.fr\/formation\/offre-de-formation\/diplome-de-lens-de-lyon\" target=\"_blank\" rel=\"noopener noreferrer\">Diploma<\/a> of the <a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a><\/li>\n<li>2017-2018 : MSc in <a href=\"http:\/\/master.math.univ-paris-diderot.fr\/en\/annee\/m2-lmfi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Mathematical Logic and Foundations of Computer Science<\/a> (<a href=\"https:\/\/u-paris.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Universit\u00e9 Paris Diderot<\/a>, Paris, France)<\/li>\n<li>2016-2017 : MSc in mathematics (<a href=\"http:\/\/www.ens-lyon.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">ENS de Lyon<\/a>,<\/li>\n<\/ul>\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-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":59,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":309,"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/pages\/10\/revisions\/309"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/AClement\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}