{"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":"2022-05-03T11:55:04","modified_gmt":"2022-05-03T09:55:04","slug":"cv","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/SStratulat\/cv\/","title":{"rendered":"CV"},"content":{"rendered":"<h4 class=\"cv\">Formation<\/h4>\n<ul>\n<li>2021 : HDR en Informatique (Universit\u00e9 de Lorraine)<\/li>\n<li class=\"p1\"><span class=\"s1\">2000 : PhD en Informatique (LORIA \/ Universit\u00e9 Henri Poincar\u00e9 &#8211; Nancy I)<\/span><\/li>\n<li>1996 : DEA en Informatique (LORIA \/ Universit\u00e9 Henri Poincar\u00e9 &#8211; Nancy I)<\/li>\n<li>1995 : Licence en informatique (Universit\u00e9 `Politehnica&rsquo; de Bucarest, Roumanie)<\/li>\n<\/ul>\n<h4 class=\"cv\">Exp\u00e9rience professionnelle<\/h4>\n<ul>\n<li class=\"p1\"><span class=\"s1\">2012 &#8211; pr\u00e9sent : Ma\u00eetre des conf\u00e9rences \u00e0 l&rsquo;Universit\u00e9 de Lorraine<\/span><\/li>\n<li>2003 &#8211; 2011 : Ma\u00eetre des conf\u00e9rences \u00e0 l&rsquo;Universit\u00e9 Paul Verlaine-Metz<\/li>\n<li class=\"p1\"><span class=\"s1\">2002 &#8211; 2003 : ATER\u00a0 \u00e0 l&rsquo;ESIAL (actuellement Telecom Nancy)<\/span><\/li>\n<li>2001 &#8211; 2002 : Postdoc INRIA \u00e0 Sophia Antipolis<\/li>\n<li>2001 : Postdoc \u00e0 SRI International (Californie, Etats-Unis) et \u00e0 DIST (G\u00eanes, Italie)<\/li>\n<li>2000 : Consultant INRIA<\/li>\n<li>1999-2000 : ATER \u00e0 l&rsquo;Universit\u00e9 Henri Poincar\u00e9 &#8211; Nancy I<\/li>\n<\/ul>\n<h4 class=\"cv\">Centres d&rsquo;int\u00e9r\u00eat et comp\u00e9tences<\/h4>\n<ul>\n<li>D\u00e9monstration de th\u00e9or\u00e8mes par des techniques de raisonnement par r\u00e9currence<\/li>\n<li>Coop\u00e9ration et int\u00e9gration des syst\u00e8mes de raisonnement, proc\u00e9dures de d\u00e9cision<\/li>\n<li>Certification des preuves<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<p>Mai 2022: une version plus d\u00e9taill\u00e9e et en anglais se trouve <a href=\"https:\/\/members.loria.fr\/SStratulat\/files\/cv-stratulat-2022-en.pdf\">ici.<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Formation<\/p>\n<ul>\n<li>2021 : HDR en Informatique (Universit\u00e9 de Lorraine)<\/li>\n<li class=\"p1\">2000 : PhD en Informatique (LORIA \/ Universit\u00e9 Henri Poincar\u00e9 &#8211; Nancy I)<\/li>\n<li>1996 : DEA en Informatique (LORIA \/ Universit\u00e9 Henri Poincar\u00e9 &#8211; Nancy I)<\/li>\n<li>1995 : Licence en informatique (Universit\u00e9 `Politehnica&rsquo; de Bucarest, Roumanie)<\/li>\n<\/ul>\n<p>Exp\u00e9rience professionnelle<\/p>\n<ul>\n<li class=\"p1\">2012 &#8211; pr\u00e9sent : Ma\u00eetre des conf\u00e9rences \u00e0 l&rsquo;Universit\u00e9 de Lorraine<\/li>\n<li>2003 &#8211; 2011 : Ma\u00eetre des conf\u00e9rences \u00e0 l&rsquo;Universit\u00e9 Paul Verlaine-Metz<\/li>\n<li class=\"p1\">2002 &#8211; 2003 : ATER\u00a0 \u00e0 l&rsquo;ESIAL (actuellement Telecom Nancy)<\/li>\n<li>2001 &#8211; 2002 : Postdoc INRIA \u00e0 Sophia Antipolis<\/li>\n<li>2001 : Postdoc \u00e0 SRI International (Californie,<\/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\/SStratulat\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":57,"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":421,"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/pages\/10\/revisions\/421"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/SStratulat\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}