{"id":324,"date":"2022-04-21T14:33:12","date_gmt":"2022-04-21T12:33:12","guid":{"rendered":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/?page_id=324"},"modified":"2025-11-28T17:45:31","modified_gmt":"2025-11-28T16:45:31","slug":"phd-thesis-and-internship","status":"publish","type":"page","link":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/phd-thesis-and-internship\/","title":{"rendered":"Defended Theses"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">MSc Thesis (since 2024)<\/h2>\n\n\n\n<p>T\u00e9rence Clastres (defense in 2024)<br><em><a href=\"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/documents\/2024_master_clastres.pdf\">Deductive Verification of Reactive Programs<\/a><\/em><br><a href=\"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/documents\/2024_master_clastres_coq.zip\">Coq\/Rocq development<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Habilitation \u00e0 diriger des recherches (since 2015)<\/h2>\n\n\n\n<p>Fr\u00e9d\u00e9ric Dabrowski (defense in 2024)<br><em>Formal Methods for Synchronization in Parallel and Concurrent Programming Languages<\/em><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">PhD Theses (since 2015)<\/h2>\n\n\n\n<p>Jordan Ischard (defense in 2025)<br><em>S\u00e9mantique de langages de programmation fonctionnels r\u00e9actifs avec effets<\/em><br><a href=\"https:\/\/theses.fr\/s297175\">https:\/\/theses.fr\/s297175<\/a><\/p>\n\n\n\n<p>Yani Ziani (defense in 2025)<br><em>V\u00e9rification formelle de couches de confiance dans les logiciels : application \u00e0 la TPM Software Stack<\/em><br><a href=\"https:\/\/theses.fr\/s309491\">https:\/\/theses.fr\/s309491<\/a><\/p>\n\n\n\n<p>Darine Rammal (defense in 2024)<br><em>Memory Safety for Synchronous Reactive Programming<\/em><br><a href=\"https:\/\/theses.fr\/s265762\">https:\/\/theses.fr\/s265762<\/a><\/p>\n\n\n\n<p>Dara Ly (defense in 2022)<br><em>Formalization of a Runtime Assertion Checker for Memory Properties of C Programs<\/em><br><a href=\"https:\/\/theses.univ-orleans.fr\/public\/2022ORLE1058_va.pdf\">https:\/\/theses.univ-orleans.fr\/public\/2022ORLE1058_va.pdf<\/a><\/p>\n\n\n\n<p>Salwa Souaf (defense in 2020)<br><em>M\u00e9thodes formelles et S\u00e9curit\u00e9 en informatique en nuages<\/em><br><a href=\"https:\/\/hal.archives-ouvertes.fr\/tel-03616187\">https:\/\/hal.archives-ouvertes.fr\/tel-03616187<\/a><\/p>\n\n\n\n<p>Arvid Jakobsson (defense in 2019)<br><em>Static Analysis for BSPlib Programs<\/em><br><a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-02920363\">https:\/\/tel.archives-ouvertes.fr\/tel-02920363<\/a><\/p>\n\n\n\n<p>Thibaut Tachon (defense in 2019)<br><em>Automatic Generation of Bulk-Synchronous Parallel code<\/em>. <br><a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-03215462\">https:\/\/tel.archives-ouvertes.fr\/tel-03215462<\/a><\/p>\n\n\n\n<p>Vivien Pelletier (defense in 2017)<br><em>Sur-approximations non r\u00e9guli\u00e8res et terminaison pour l\u2019analyse d\u2019accessibilit\u00e9<\/em>.                                                                                    <br><a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-01891863\">https:\/\/tel.archives-ouvertes.fr\/tel-01891863<\/a><\/p>\n\n\n\n<p>Allan Blanchard (defense in 2016)<br><em>Aide \u00e0 la v\u00e9rification de programmes concurrents par transformation de code et de sp\u00e9cifications<\/em><br><a href=\"https:\/\/hal.archives-ouvertes.fr\/tel-03624110\">https:\/\/hal.archives-ouvertes.fr\/tel-03624110<\/a><\/p>\n\n\n\n<p>Asma Guesmi (defense in 2016)<br>Sp\u00e9cification et analyse formelles des politiques de s\u00e9curit\u00e9 dans un processus de courtage de l&#8217;informatique en nuage<br><a href=\"https:\/\/tel.archives-ouvertes.fr\/tel-01431183\">https:\/\/tel.archives-ouvertes.fr\/tel-01431183<\/a><br><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">BSc Thesis (since 2024)<\/h2>\n\n\n\n<p>Marine Delvallez (defense in 2024)<br>Julien Glorian (defense in 2024)<\/p>\n","protected":false},"excerpt":{"rendered":"<p>MSc Thesis (since 2024) T\u00e9rence Clastres (defense in 2024)Deductive Verification of Reactive ProgramsCoq\/Rocq development Habilitation \u00e0 diriger des recherches (since 2015) Fr\u00e9d\u00e9ric Dabrowski (defense in 2024)Formal Methods for Synchronization in Parallel and Concurrent Programming Languages PhD Theses (since 2015) Jordan Ischard (defense in 2025)S\u00e9mantique de langages de programmation fonctionnels r\u00e9actifs avec effetshttps:\/\/theses.fr\/s297175 Yani Ziani (defense &hellip; <a href=\"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/phd-thesis-and-internship\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Defended Theses&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":7,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-324","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/324","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/types\/page"}],"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=324"}],"version-history":[{"count":17,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/324\/revisions"}],"predecessor-version":[{"id":1335,"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/pages\/324\/revisions\/1335"}],"wp:attachment":[{"href":"https:\/\/www.univ-orleans.fr\/lifo\/equipes\/lmv\/index.php\/wp-json\/wp\/v2\/media?parent=324"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}