{"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":"2018-09-28T11:46:54","modified_gmt":"2018-09-28T09:46:54","slug":"accueil","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/MDuroeulx\/","title":{"rendered":"Accueil"},"content":{"rendered":"<p>I&rsquo;m a PhD student in computer science and control theory at Universit\u00e9 de Lorraine since October 2016 until September 2019,\u00a0<span style=\"line-height: inherit\">under the supervision of Stephan Merz and Nicolae Brinzei.<\/span><\/p>\n<p style=\"text-align: center\">&#8212;<\/p>\n<div class=\"page\" title=\"Page 1\">\n<div class=\"layoutArea\">\n<div class=\"column\">\n<p>I am working on combining formal verification and probabilistic assessment approaches for assessing systems safety and reliability. The point is to<span style=\"line-height: inherit\">\u00a0determine the degree of confidence in safety critical digital systems.<\/span><\/p>\n<\/div>\n<\/div>\n<p>Quantifying the reliability of a system enables to anticipate its failures which can be safe or dangerous. The main issue consists in the systems complexity, due to the amount of components and their interactions.<\/p>\n<p>The PhD thesis aims at merging\u00a0<span style=\"line-height: inherit\">probabilistic evaluation and satisfiability solving for symbolic verification.<\/span><\/p>\n<\/div>\n<div class=\"page\" title=\"Page 1\"><\/div>\n","protected":false},"excerpt":{"rendered":"<p>I&rsquo;m a PhD student in computer science and control theory at Universit\u00e9 de Lorraine since October 2016 until September 2019,\u00a0under the supervision of Stephan Merz and Nicolae Brinzei.<\/p>\n<p style=\"text-align: center\">&#8212;<\/p>\n<p>I am working on combining formal verification and probabilistic assessment approaches for assessing systems safety and reliability. The point is to\u00a0determine the degree of confidence in safety critical digital systems.<\/p>\n<p>Quantifying the reliability of a system enables to anticipate its failures which can be safe or dangerous. The main issue consists in the systems complexity, due to the amount of components and their interactions.<\/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\/MDuroeulx\/wp-json\/wp\/v2\/pages\/56","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/comments?post=56"}],"version-history":[{"count":26,"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/pages\/56\/revisions"}],"predecessor-version":[{"id":355,"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/pages\/56\/revisions\/355"}],"wp:attachment":[{"href":"https:\/\/members.loria.fr\/MDuroeulx\/wp-json\/wp\/v2\/media?parent=56"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}