{"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":"2022-06-24T13:39:09","modified_gmt":"2022-06-24T11:39:09","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/CDumenil\/","title":{"rendered":"Home"},"content":{"rendered":"<h2><span style=\"text-decoration: underline\">PhD<\/span><\/h2>\n<p>I obtained my Phd degree in computer science at Loria in 2022.<br \/>\nMy thesis: <a href=\"http:\/\/www.theses.fr\/2022LORR0050\"> Expected size of the 3D-Delaunay triangulation of random points on  surface<\/a>, was supervised by Olivier Devillers.<\/p>\n<h2><span style=\"text-decoration: underline\">Master<\/span><\/h2>\n<p>I obtained my Master&rsquo;s degree in Mathematics (Ing\u00e9nieurie math\u00e9matique et outil informatique) at Elie Cartan Institute at Nancy.<br \/>\nMy master thesis, <a href=\"\/CDumenil\/files\/RapportDeStage.pdf\">Additional equational theories in Tamarin<\/a>, supervised by Jannik Dreier and Steve Kremer, dealt with\u00a0automatic verification of security properties for cryptographic protocols.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>PhD<\/p>\n<p>I obtained my Phd degree in computer science at Loria in 2022.<br \/>\nMy thesis: <a href=\"http:\/\/www.theses.fr\/2022LORR0050\"> Expected size of the 3D-Delaunay triangulation of random points on  surface<\/a>, was supervised by Olivier Devillers.<\/p>\n<p>Master<\/p>\n<p>I obtained my Master&rsquo;s degree in Mathematics (Ing\u00e9nieurie math\u00e9matique et outil informatique) at Elie Cartan Institute at Nancy.<br \/>\nMy master thesis, <a href=\"\/CDumenil\/files\/RapportDeStage.pdf\">Additional equational theories in Tamarin<\/a>, supervised by Jannik Dreier and Steve Kremer, dealt with\u00a0automatic verification of security properties for cryptographic protocols.<\/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\/CDumenil\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":39,"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":414,"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/pages\/56\/revisions\/414"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/CDumenil\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}