{"id":7,"date":"2021-11-08T13:51:54","date_gmt":"2021-11-08T12:51:54","guid":{"rendered":"https:\/\/web.umons.ac.be\/sith\/equipe\/"},"modified":"2025-01-02T09:52:26","modified_gmt":"2025-01-02T08:52:26","slug":"equipe","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/sith\/equipe\/","title":{"rendered":"\u00c9quipe"},"content":{"rendered":"<div class=\"entry-content\">\n<h3 class=\"wp-block-heading\">Chef de service<\/h3>\n<ul>\n<li><a href=\"https:\/\/informatique-umons.be\/bruyere-veronique\">V\u00e9ronique Bruy\u00e8re<\/a>, professeur ordinaire<\/li>\n<\/ul>\n<h3>Premier assistant<\/h3>\n<ul>\n<li><a href=\"https:\/\/pierre-vandenhove.github.io\/\">Pierre Vandenhove<\/a><\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Doctorants<\/h3>\n<ul>\n<li><a href=\"https:\/\/scholar.google.com\/citations?user=KhK23o0AAAAJ\">Guillaume Cardoen<\/a> (supervis\u00e9 par <a href=\"https:\/\/staff.umons.ac.be\/tom.mens\/\">Tom Mons<\/a>, UMONS)<\/li>\n<li><a href=\"https:\/\/chrisgdt.github.io\/\">Christophe Grandmont<\/a> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et <a href=\"https:\/\/verif.ulb.ac.be\/jfr\/\">Jean-Fran\u00e7ois Raskin<\/a>, ULB)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Anciens doctorants<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.gaetanstaquet.com\/\">Ga\u00ebtan Staquet<\/a>, 2024, <em>Active Learning of Automata with Resources<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et <a href=\"https:\/\/www.uantwerpen.be\/en\/staff\/guillermoalberto-perez\/\">Guillermo Perez<\/a>, UAntwerp)<\/li>\n<li>Cl\u00e9ment Tamines, 2022, <em>On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Gauvain Devillez, 2022, <em>Proofs by transformation in extremal graph theory<\/em> (supervis\u00e9 par <a href=\"https:\/\/informatique.umons.ac.be\/staff\/Melot.Hadrien\/\">Hadrien M\u00e9lot<\/a>, UMONS, et <a href=\"https:\/\/www.polymtl.ca\/expertises\/hertz-alain\">Alain Hertz<\/a>, Polytechnique Montreal)<\/li>\n<li><a href=\"https:\/\/math.umons.ac.be\/staff\/Goeminne.Aline\/\">Aline Goeminne<\/a>, 2021, <em>Equilibria in Multiplayer Games Played on Graphs<\/em> (supervis\u00e9 par Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Quentin Hautem, 2018, <em>The Complexity of Combining Objectives in Two-Player Games<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, <a href=\"https:\/\/math.umons.ac.be\/staff\/Randour.Mickael\/\">Micka\u00ebl Randour<\/a>, UMONS-ULB, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>No\u00e9mie Meunier, 2016, <em>Multi-Player Quantitative Games: Equilibria and Algorithms<\/em> (supervis\u00e9e par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Dany Maslowski, 2015, <em>Dichotomies in the Complexity of Counting Database Repairs<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et <a href=\"https:\/\/web.umons.ac.be\/fs-informatique\/equipes\/jef-wijsen\/\">Jef Wijsen<\/a>, UMONS)<\/li>\n<li>Micka\u00ebl Randour, 2014, <em>Synthesis in Multi-Criteria Quantitative Games<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Aaron Bohy, 2014, <em>Antichain based algorithms for the synthesis of reactive systems<\/em> (supervis\u00e9 par <a href=\"https:\/\/staff.umons.ac.be\/thomas.brihaye\/\">Thomas Brihaye<\/a>, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Julie De Pril, 2013, <em>Equilibria in Multiplayer Cost Games <\/em>(supervis\u00e9e par Thomas Brihaye, UMONS, et V\u00e9ronique Bruy\u00e8re, UMONS)<\/li>\n<li>Marc Ducobu, 2013, <em>Antichains for QBF evaluation and VPA decision problems <\/em>(supervis\u00e9 par Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Thomas Brihaye, 2006, <em>Verification and control of o-minimal hybrid systems and weighted timed automata<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et <a href=\"https:\/\/staff.umons.ac.be\/christian.michaux\/\">Christian Michaux<\/a>, UMONS)<\/li>\n<li>Hadrien M\u00e9lot, 2006, <em>On automated and computer aided conjectures in graph theory<\/em> (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Pierre Hansen, HEC Montreal, Canada)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Anciens post-doctorants<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.lacl.fr\/~youalhadj\/index.php?lang=EN\">Youssouf Oualhadj<\/a> (novembre 2013 \u2013 ao\u00fbt 2014)<\/li>\n<li><a href=\"https:\/\/www.labri.fr\/perso\/ogauwin\/\">Olivier Gauwin<\/a> (octobre 2009 \u2013 septembre 2011)<\/li>\n<li>Isabel Ara\u00f9jo (octobre 2003 \u2013 septembre 2005)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Ancien membre<\/h3>\n<ul>\n<li>Olivier Delgrange, chef de travaux<\/li>\n<\/ul>\n<\/div>\n<p>&nbsp;<\/p>\n<start-cask-shortcode-wrapper><div class=\"service-composition content-block scheme-fs\">\n                        <h3>Service d'Informatique th\u00e9orique<\/h3>\n        \n                    <ul class=\"service-members\">\n                                    <li>\n                        <a href=\"mailto:&#118;er&#111;&#110;iq&#117;e&#46;br&#117;&#121;ere&#64;umon&#115;&#46;&#97;&#99;.&#98;e\" rel=\"nofollow\" class=\"service-member service-head\">\n                            <div>\n                                <span class=\"member-name\">BRUYERE V\u00e9ronique<\/span>\n                                <div class=\"member-type\">Chef de service<\/div>\n                            <\/div>\n\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                \n                                    <li>\n                        <a href=\"mailto:Gui&#108;&#108;a&#117;&#109;&#101;&#46;CAR&#68;&#79;EN&#64;umo&#110;&#115;.&#97;&#99;.&#98;e\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">CARDOEN Guillaume<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#67;hr&#105;&#115;t&#111;ph&#101;&#46;GR&#65;&#78;&#68;M&#79;NT&#64;u&#109;o&#110;s&#46;ac&#46;b&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">GRANDMONT Christophe<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#67;h&#114;is&#116;&#105;&#97;n.&#72;E&#82;NALS&#84;EE&#78;&#64;&#117;m&#111;&#110;s&#46;&#97;c.b&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">HERNALSTEEN Christian<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#103;&#119;&#101;&#110;&#97;el.&#106;o&#114;e&#116;&#64;&#117;&#109;o&#110;s&#46;ac.&#98;&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">JORET Gwenael<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#66;ert&#114;&#97;&#110;&#100;&#46;MA&#82;E&#83;&#67;&#72;AL&#64;u&#109;&#111;&#110;&#115;.ac.&#98;&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">MARESCHAL Bertrand<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:n&#111;&#101;&#109;&#105;e&#46;meun&#105;&#101;&#114;&#64;&#117;&#109;o&#110;s&#46;&#97;&#99;&#46;&#98;&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">MEUNIER No\u00e9mie<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#71;ae&#116;&#97;&#110;&#46;&#83;&#84;&#65;Q&#85;&#69;T&#64;um&#111;&#110;&#115;&#46;ac&#46;b&#101;\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">STAQUET Ga\u00ebtan<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:&#83;a&#115;&#99;&#104;a&#46;VAN&#67;A&#85;&#87;&#69;&#76;&#65;&#69;&#82;&#84;&#64;u&#109;&#111;ns.&#97;&#99;&#46;&#98;e\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">VAN CAUWELAERT Sascha<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:P&#105;&#101;&#114;&#114;&#101;.&#86;A&#78;&#68;&#69;NH&#79;VE&#64;u&#109;&#111;n&#115;&#46;a&#99;&#46;&#98;e\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">VANDENHOVE Pierre<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                            <\/ul>\n                <p>\n            <a href=\" http:\/\/www.umons.ac.be\/annuaire\" class=\"button button-primary scheme-background scheme-background-hover\" target=\"_blank\" rel=\"nofollow\">\n                More information on the directory                <span class=\"icon umons-icon-book\" aria-hidden=\"true\"><\/span>        \n            <\/a>\n        <\/p>\n    <\/div><end-cask-shortcode-wrapper>\n","protected":false},"excerpt":{"rendered":"<p>Chef de service V\u00e9ronique Bruy\u00e8re, professeur ordinaire Premier assistant Pierre Vandenhove Doctorants Guillaume Cardoen (supervis\u00e9 par Tom Mons, UMONS) Christophe Grandmont (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB) Anciens doctorants Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Guillermo Perez, UAntwerp) Cl\u00e9ment Tamines, 2022, On Pareto-Optimality [&hellip;]<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v25.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>\u00c9quipe - Service \/ FS - Informatique th\u00e9orique<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/web.umons.ac.be\/sith\/equipe\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u00c9quipe - Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"og:description\" content=\"Chef de service V\u00e9ronique Bruy\u00e8re, professeur ordinaire Premier assistant Pierre Vandenhove Doctorants Guillaume Cardoen (supervis\u00e9 par Tom Mons, UMONS) Christophe Grandmont (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB) Anciens doctorants Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Guillermo Perez, UAntwerp) Cl\u00e9ment Tamines, 2022, On Pareto-Optimality [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/sith\/equipe\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-02T08:52:26+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/equipe\/\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/equipe\/\",\"name\":\"\u00c9quipe - Service \/ FS - Informatique th\u00e9orique\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\"},\"datePublished\":\"2021-11-08T12:51:54+00:00\",\"dateModified\":\"2025-01-02T08:52:26+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/equipe\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/sith\/equipe\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/equipe\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/sith\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u00c9quipe\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/\",\"name\":\"Service \/ FS - Informatique th\u00e9orique\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/sith\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u00c9quipe - Service \/ FS - Informatique th\u00e9orique","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/web.umons.ac.be\/sith\/equipe\/","og_locale":"fr_FR","og_type":"article","og_title":"\u00c9quipe - Service \/ FS - Informatique th\u00e9orique","og_description":"Chef de service V\u00e9ronique Bruy\u00e8re, professeur ordinaire Premier assistant Pierre Vandenhove Doctorants Guillaume Cardoen (supervis\u00e9 par Tom Mons, UMONS) Christophe Grandmont (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Jean-Fran\u00e7ois Raskin, ULB) Anciens doctorants Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources (supervis\u00e9 par V\u00e9ronique Bruy\u00e8re, UMONS, et Guillermo Perez, UAntwerp) Cl\u00e9ment Tamines, 2022, On Pareto-Optimality [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/sith\/equipe\/","og_site_name":"Service \/ FS - Informatique th\u00e9orique","article_modified_time":"2025-01-02T08:52:26+00:00","twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/sith\/equipe\/","url":"https:\/\/web.umons.ac.be\/sith\/equipe\/","name":"\u00c9quipe - Service \/ FS - Informatique th\u00e9orique","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/sith\/#website"},"datePublished":"2021-11-08T12:51:54+00:00","dateModified":"2025-01-02T08:52:26+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/sith\/equipe\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/sith\/equipe\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/sith\/equipe\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/sith\/"},{"@type":"ListItem","position":2,"name":"\u00c9quipe"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/sith\/#website","url":"https:\/\/web.umons.ac.be\/sith\/","name":"Service \/ FS - Informatique th\u00e9orique","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/sith\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"fr","translations":{"fr":7},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/7","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/comments?post=7"}],"version-history":[{"count":4,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":130,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/7\/revisions\/130"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/media?parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}