{"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":"2024-10-08T12:36:04","modified_gmt":"2024-10-08T10:36:04","slug":"cv","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/Mery\/cv\/","title":{"rendered":"CV"},"content":{"rendered":"<h4 class=\"cv\">Training<\/h4>\n<ul>\n<li class=\"p1\"><span class=\"s1\">Doctorat de troisi\u00e8me cycle en informatique 31 mai 1983 \u00e0 l&rsquo;INPL<\/span><\/li>\n<li class=\"p1\">Doctorat \u00e8s Sciences Math\u00e9matiques\u00a0 26 f\u00e9vrier 1993 \u00e0 l&rsquo;UHP<\/li>\n<\/ul>\n<h4 class=\"cv\">Professional achievement<\/h4>\n<ul>\n<li>Assistant Professor at Universit\u00e9 de Metz, France (1982-1988)<\/li>\n<li>Researcher at CNRS CRIN URA 262 (1988-1993)<\/li>\n<li class=\"p1\"><span class=\"s1\">Full Professor at Universit\u00e9 Henri Poincar\u00e9 Nancy 1 \u00a0and ESIAL (1993-2012)<\/span><\/li>\n<li class=\"p1\"><span class=\"s1\">\u00a0<\/span><span class=\"s1\">Full Professor at Universit\u00e9 de Lorraine and Telecom Nancy \u00a0(2012-now)<\/span><\/li>\n<\/ul>\n<ul>\n<li><a href=\"http:\/\/www.loria.fr\/~mery\/iuf.html\" target=\" _top\" rel=\"noopener\">Former Member of the Institut Universitaire de France (1995-2000) <\/a>.<\/li>\n<li>Leader of the research group <a href=\"http:\/\/mosel.loria.fr\/\" target=\" _top\" rel=\"noopener\">MOSEL <\/a>in the <a href=\"http:\/\/www.loria.fr\/\" target=\"Annexe\" rel=\"noopener\">UMR no 7503 LORIA<\/a> laboratory.<\/li>\n<\/ul>\n<h4 class=\"cv\">Main interests<\/h4>\n<ul>\n<li>Theoretical Computer Science<\/li>\n<li>Formal Modeling Techniques<\/li>\n<li>Formal methods<\/li>\n<li>Applications: distributed algorithms, cyber-physical systems,<\/li>\n<\/ul>\n<h4>Miscellanous<\/h4>\n<ul>\n<li><a href=\"http:\/\/haltools.inria.fr\/Public\/afficheRequetePubli.php?auteur_exp=Dominique,M%C3%A9ry&amp;annee_publideb=1983&amp;annee_publifin=2024&amp;CB_ref_biblio=oui&amp;langue=Anglais&amp;tri_exp=annee_publi&amp;tri_exp2=typdoc&amp;tri_exp3=date_publi&amp;ordre_aff=TA&amp;Fen=Aff&amp;css=..\/css\/VisuRubriqueEncadre.css\">List of publications<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Training<\/p>\n<ul>\n<li class=\"p1\">Doctorat de troisi\u00e8me cycle en informatique 31 mai 1983 \u00e0 l&rsquo;INPL<\/li>\n<li class=\"p1\">Doctorat \u00e8s Sciences Math\u00e9matiques\u00a0 26 f\u00e9vrier 1993 \u00e0 l&rsquo;UHP<\/li>\n<\/ul>\n<p>Professional achievement<\/p>\n<ul>\n<li>Assistant Professor at Universit\u00e9 de Metz, France (1982-1988)<\/li>\n<li>Researcher at CNRS CRIN URA 262 (1988-1993)<\/li>\n<li class=\"p1\">Full Professor at Universit\u00e9 Henri Poincar\u00e9 Nancy 1 \u00a0and ESIAL (1993-2012)<\/li>\n<li class=\"p1\">\u00a0Full Professor at Universit\u00e9 de Lorraine and Telecom Nancy \u00a0(2012-now)<\/li>\n<\/ul>\n<ul>\n<li><a href=\"http:\/\/www.loria.fr\/~mery\/iuf.html\" target=\" _top\" rel=\"noopener\">Former Member of the Institut Universitaire de France (1995-2000) <\/a>.<\/li>\n<li>Leader of the research group <a href=\"http:\/\/mosel.loria.fr\/\" target=\" _top\" rel=\"noopener\">MOSEL <\/a>in the <a href=\"http:\/\/www.loria.fr\/\" target=\"Annexe\" rel=\"noopener\">UMR no 7503 LORIA<\/a> laboratory.<\/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\/Mery\/wp-json\/wp\/v2\/pages\/10","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/comments?post=10"}],"version-history":[{"count":63,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/10\/revisions"}],"predecessor-version":[{"id":507,"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/pages\/10\/revisions\/507"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/Mery\/wp-json\/wp\/v2\/media?parent=10"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}