{"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-09-06T09:39:37","modified_gmt":"2023-09-06T07:39:37","slug":"cv","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/MRacouchot\/cv\/","title":{"rendered":"CV"},"content":{"rendered":"<div class=\"important_div\" style=\"text-align: center\"><\/div>\n<h4 class=\"cv\">Education<\/h4>\n<ul>\n<li>2021- : <strong>PHD \u00ab\u00a0Automated Learning of Proof Strategies in Tamarin\u00a0\u00bb<\/strong>\n<ul>\n<li>April 2023 &#8211; June 2023: visit to University of Edinburgh<\/li>\n<\/ul>\n<\/li>\n<li class=\"p1\"><span class=\"s1\">2018-2021 : <strong>Dipl\u00f4me d\u2019Ing\u00e9nieur (French engineering degree) in computer science<\/strong>, especially cybersecurity and networks, TELECOM Nancy, France<\/span><\/li>\n<\/ul>\n<h4 class=\"cv\">Teaching<\/h4>\n<ul>\n<li>2023 spring semester <span class=\"s1\">(T\u00e9l\u00e9comNancy): Programmation en C, Tutorial seminars and Labs, 3rd year<\/span><\/li>\n<li>2022 fall semester<span class=\"s1\"> (T\u00e9l\u00e9comNancy):<\/span> Syst\u00e8me, <span class=\"s1\">Project,<\/span> <span class=\"s1\"> Tutorial seminars and Labs,\u00a0 4th year<\/span><\/li>\n<li class=\"p1\"><span class=\"s1\">2022 spring semester (T\u00e9l\u00e9comNancy): Mod\u00e9lisation des Syst\u00e8mes \u00e0 Ev\u00e9nements Discrets, Tutorial seminars, 3rd year<\/span><\/li>\n<\/ul>\n<h4 class=\"cv\">Other<\/h4>\n<ul>\n<li>Scientific mediation at F\u00eate de la science 2022<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Education<\/p>\n<ul>\n<li>2021- : PHD \u00ab\u00a0Automated Learning of Proof Strategies in Tamarin\u00a0\u00bb\n<ul>\n<li>April 2023 &#8211; June 2023: visit to University of Edinburgh<\/li>\n<\/ul>\n<\/li>\n<li class=\"p1\">2018-2021 : Dipl\u00f4me d\u2019Ing\u00e9nieur (French engineering degree) in computer science, especially cybersecurity and networks, TELECOM Nancy, France<\/li>\n<\/ul>\n<p>Teaching<\/p>\n<ul>\n<li>2023 spring semester (T\u00e9l\u00e9comNancy): Programmation en C, Tutorial seminars and Labs, 3rd year<\/li>\n<li>2022 fall semester (T\u00e9l\u00e9comNancy): Syst\u00e8me, Project,  Tutorial seminars and Labs,\u00a0 4th year<\/li>\n<li class=\"p1\">2022 spring semester (T\u00e9l\u00e9comNancy): Mod\u00e9lisation des Syst\u00e8mes \u00e0 Ev\u00e9nements Discrets, Tutorial seminars, 3rd year<\/li>\n<\/ul>\n<p>Other<\/p>\n<ul>\n<li>Scientific mediation at F\u00eate de la science 2022<\/li>\n<\/ul>\n<p>&nbsp;<\/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-10","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":59,"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":318,"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/pages\/10\/revisions\/318"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/MRacouchot\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}