{"id":91,"date":"2024-02-09T13:14:02","date_gmt":"2024-02-09T12:14:02","guid":{"rendered":"https:\/\/project.inria.fr\/smartcloud\/?page_id=91"},"modified":"2024-02-13T09:50:01","modified_gmt":"2024-02-13T08:50:01","slug":"advisory-board","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/smartcloud\/advisory-board\/","title":{"rendered":"Advisory board"},"content":{"rendered":"\n<div class=\"wp-block-image is-style-rounded\"><figure class=\"alignleft size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/helene-coullon.fr\/images\/profilenb.jpg\" alt=\"Photo of H\u00e9l\u00e8ne Coullon\" width=\"140\" height=\"140\"\/><\/figure><\/div>\n\n\n\n<p><a href=\"https:\/\/helene-coullon.fr\/\" data-type=\"URL\" data-id=\"https:\/\/helene-coullon.fr\/\">H\u00e9l\u00e8ne Coullon<\/a> is Associate Professor in Computer Science at IMT Atlantique in the <a href=\"https:\/\/stack-research-group.gitlabpages.inria.fr\/web\/\" data-type=\"URL\" data-id=\"https:\/\/stack-research-group.gitlabpages.inria.fr\/web\/\">STACK<\/a> research team (Inria, IMTA DAPI, LS2N), led by Adrien Lebre. Her research topics are programming models in the context of distributed infrastructures and systems. In particular, she is interested in the configuration, deployment, reconfiguration, and self-adaptation of large and complex distributed software systems.<\/p>\n\n\n\n<div class=\"wp-block-image is-style-rounded\"><figure class=\"alignleft size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/www.sergiomover.eu\/img\/cropped.png\" alt=\"Photo of Sergio Mover\" width=\"140\" height=\"140\"\/><\/figure><\/div>\n\n\n\n<p><a href=\"https:\/\/www.sergiomover.eu\/\" data-type=\"URL\" data-id=\"https:\/\/www.sergiomover.eu\/\">Sergio Mover<\/a> is Monge Associate Professor at the Department of Computer Science of \u00c9cole Polytechnique and a member of the <a href=\"https:\/\/www.lix.polytechnique.fr\/cosynus\/\" data-type=\"URL\" data-id=\"https:\/\/www.lix.polytechnique.fr\/cosynus\/\">Cosynus<\/a> team at <a href=\"https:\/\/www.lix.polytechnique.fr\/\" data-type=\"URL\" data-id=\"https:\/\/www.lix.polytechnique.fr\/\">LIX<\/a>. His work focuses on formal methods, particularly model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software), and on program analysis.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>H\u00e9l\u00e8ne Coullon is Associate Professor in Computer Science at IMT Atlantique in the STACK research team (Inria, IMTA DAPI, LS2N), led by Adrien Lebre. Her research topics are programming models in the context of distributed infrastructures and systems. In particular, she is interested in the configuration, deployment, reconfiguration, and self-adaptation\u2026<\/p>\n<p> <a class=\"continue-reading-link\" href=\"https:\/\/project.inria.fr\/smartcloud\/advisory-board\/\"><span>Continue reading<\/span><i class=\"crycon-right-dir\"><\/i><\/a> <\/p>\n","protected":false},"author":1275,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-91","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/pages\/91","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/users\/1275"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/comments?post=91"}],"version-history":[{"count":4,"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/pages\/91\/revisions"}],"predecessor-version":[{"id":123,"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/pages\/91\/revisions\/123"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/smartcloud\/wp-json\/wp\/v2\/media?parent=91"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}