{"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-02-13T10:26:21","modified_gmt":"2020-02-13T08:26:21","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/HCirstea\/","title":{"rendered":"Accueil"},"content":{"rendered":"<p>Professor in Computer Science at <a href=\"http:\/\/www.univ-lorraine.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">University of Lorraine<\/a>\u00a0&#8211; <a href=\"http:\/\/fst-en.univ-lorraine.fr\/\">Faculty of Sciences and Technologies <\/a>and\u00a0<a href=\"http:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">LORIA<\/a>.<\/p>\n<p>Head of the department <a href=\"https:\/\/www.loria.fr\/en\/research\/departments\/formal-methods\/\">Formal Methods<\/a>. Member of the team <a href=\"http:\/\/mosel.loria.fr\/\">MOSEL<\/a>.<\/p>\n<p><strong>Research Activities<\/strong><\/p>\n<p>Theoretical foundations and practical applications of <a href=\"http:\/\/rewriting.loria.fr\/\">rewriting<\/a>.<\/p>\n<p>Typed and untyped <a href=\"http:\/\/rho.loria.fr\/\">rewriting calculus<\/a> and applications to rewrite based languages (<a href=\"http:\/\/tom.loria.fr\/\">Tom<\/a>).<\/p>\n<p>Program transformation.<\/p>\n<p><strong>Teaching activities<\/strong><\/p>\n<p>Software Engineering, Software Design, Algorithms, Rewriting.<\/p>\n<p><strong>Contact\u00a0<\/strong><\/p>\n<p>LORIA &#8211; Batiment C<br \/>\nCampus scientifique<br \/>\nBP 239<br \/>\n54506 Vandoeuvre-l\u00e8s-Nancy Cedex<br \/>\nFrance<\/p>\n<p>+33 (0)3 54 95 84 06<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Professor in Computer Science at <a href=\"http:\/\/www.univ-lorraine.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">University of Lorraine<\/a>\u00a0&#8211; <a href=\"http:\/\/fst-en.univ-lorraine.fr\/\">Faculty of Sciences and Technologies <\/a>and\u00a0<a href=\"http:\/\/www.loria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">LORIA<\/a>.<\/p>\n<p>Head of the department <a href=\"https:\/\/www.loria.fr\/en\/research\/departments\/formal-methods\/\">Formal Methods<\/a>. Member of the team <a href=\"http:\/\/mosel.loria.fr\/\">MOSEL<\/a>.<\/p>\n<p>Research Activities<\/p>\n<p>Theoretical foundations and practical applications of <a href=\"http:\/\/rewriting.loria.fr\/\">rewriting<\/a>.<\/p>\n<p>Typed and untyped <a href=\"http:\/\/rho.loria.fr\/\">rewriting calculus<\/a> and applications to rewrite based languages (<a href=\"http:\/\/tom.loria.fr\/\">Tom<\/a>).<\/p>\n<p>Program transformation.<\/p>\n<p>Teaching activities<\/p>\n<p>Software Engineering, Software Design, Algorithms, Rewriting.<\/p>\n<p>Contact\u00a0<\/p>\n<p>LORIA &#8211;<\/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\/HCirstea\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":19,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":327,"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/pages\/56\/revisions\/327"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/HCirstea\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}