{"id":1243,"date":"2025-09-25T09:54:56","date_gmt":"2025-09-25T07:54:56","guid":{"rendered":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/?p=1243"},"modified":"2025-09-25T09:54:56","modified_gmt":"2025-09-25T07:54:56","slug":"october-2025-yani-ziani-defends-his-phd-thesis","status":"publish","type":"post","link":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/2025\/09\/25\/october-2025-yani-ziani-defends-his-phd-thesis\/","title":{"rendered":"[October 2025] Yani Ziani defends his PhD thesis"},"content":{"rendered":"\n<p>V\u00e9rification formelle de couches de confiance dans les logiciels : application \u00e0 la TPM Software Stack<br>Ecole doctorale : Math\u00e9matiques, Informatique, Physique Th\u00e9orique et Ing\u00e9nierie des Syst\u00e8mes &#8211; MIPTIS<br>Unit\u00e9 de recherche : LIFO &#8211; Laboratoire d\u2019Informatique Fondamentale d\u2019Orl\u00e9ans<br>Soutenance pr\u00e9vue le jeudi 09 octobre 2025 \u00e0 14h00<br>Lieu : Thales Research &amp; Technology 1 Avenue Augustin Fresnel, 91120 Palaiseau<br>Salle : Auditorium<\/p>\n","protected":false},"excerpt":{"rendered":"<p>V\u00e9rification formelle de couches de confiance dans les logiciels : application \u00e0 la TPM Software StackEcole doctorale : Math\u00e9matiques, Informatique, Physique Th\u00e9orique et Ing\u00e9nierie des Syst\u00e8mes &#8211; MIPTISUnit\u00e9 de recherche : LIFO &#8211; Laboratoire d\u2019Informatique Fondamentale d\u2019Orl\u00e9ansSoutenance pr\u00e9vue le jeudi 09 octobre 2025 \u00e0 14h00Lieu : Thales Research &amp; Technology 1 Avenue Augustin Fresnel, 91120 &hellip; <a href=\"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/2025\/09\/25\/october-2025-yani-ziani-defends-his-phd-thesis\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;[October 2025] Yani Ziani defends his PhD thesis&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1243","post","type-post","status-publish","format-standard","hentry","category-non-classe"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1243","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/comments?post=1243"}],"version-history":[{"count":1,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1243\/revisions"}],"predecessor-version":[{"id":1245,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/posts\/1243\/revisions\/1245"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=1243"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/categories?post=1243"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/tags?post=1243"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}