{"id":235,"date":"2016-07-25T16:14:39","date_gmt":"2016-07-25T14:14:39","guid":{"rendered":"http:\/\/members.loria.fr\/CRingeissen\/?p=235"},"modified":"2016-09-02T10:23:10","modified_gmt":"2016-09-02T08:23:10","slug":"short-bio","status":"publish","type":"post","link":"https:\/\/members.loria.fr\/CRingeissen\/short-bio\/","title":{"rendered":"Short Bio"},"content":{"rendered":"<p>Christophe Ringeissen received his PhD in 1993 at the University Nancy 1, and his Habilitation in 2009 at the University Henri Poincar\u00e9 &#8211; Nancy 1. He works as researcher at <a href=\"http:\/\/www.inria.fr\/en\/centre\/nancy\">Inria Nancy<\/a> since 1995. He was a member of several Inria project-teams:<\/p>\n<ul>\n<li><a href=\"http:\/\/www.inria.fr\/en\/teams\/eureca\">Eureca<\/a> (1991-92)<\/li>\n<li><a href=\"http:\/\/www.inria.fr\/en\/teams\/protheo\">Protheo<\/a>\u00a0(1993-2005)<\/li>\n<li><a href=\"http:\/\/www.inria.fr\/en\/teams\/cassis\">Cassis<\/a>\u00a0(2005-2015)<\/li>\n<\/ul>\n<p>Since 2016, he is a member of the <a href=\"https:\/\/team.inria.fr\/pesto\/\">Pesto<\/a> project-team. His research interests include:<\/p>\n<ul>\n<li>Formal methods<\/li>\n<li>Automated deduction<\/li>\n<li>Constraint programming<\/li>\n<li>Combination methods in automated reasoning<\/li>\n<li>Rewriting, rule-based programming<\/li>\n<\/ul>\n<p>He has published more than 60 papers (cf.\u00a0<a href=\"http:\/\/dblp.uni-trier.de\/pers\/hd\/r\/Ringeissen:Christophe\">DBLP<\/a>). Some of his papers\/reports (especially the recent ones) can be found <a href=\"http:\/\/members.loria.fr\/CRingeissen\/publications\/\">here<\/a>. Other ones are available upon request (cf. <a href=\"http:\/\/members.loria.fr\/CRingeissen\/contact\/infos\/\">contact<\/a>).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Christophe Ringeissen received his PhD in 1993 at the University Nancy 1, and his Habilitation in 2009 at the University Henri Poincar\u00e9 &#8211; Nancy 1. He works as researcher at Inria Nancy since 1995. He was a member of several Inria project-teams: Eureca (1991-92) Protheo\u00a0(1993-2005) Cassis\u00a0(2005-2015) Since 2016, he is a member of the Pesto [&hellip;]<\/p>\n","protected":false},"author":83,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6],"tags":[],"class_list":["post-235","post","type-post","status-publish","format-standard","hentry","category-professionnel"],"_links":{"self":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/posts\/235","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/users\/83"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/comments?post=235"}],"version-history":[{"count":18,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/posts\/235\/revisions"}],"predecessor-version":[{"id":280,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/posts\/235\/revisions\/280"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/media?parent=235"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/categories?post=235"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/members.loria.fr\/CRingeissen\/wp-json\/wp\/v2\/tags?post=235"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}