{"id":9,"date":"2021-11-08T13:51:54","date_gmt":"2021-11-08T12:51:54","guid":{"rendered":"https:\/\/web.umons.ac.be\/sith\/team\/"},"modified":"2025-12-03T12:10:55","modified_gmt":"2025-12-03T11:10:55","slug":"team","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/sith\/en\/team\/","title":{"rendered":"Team"},"content":{"rendered":"<div class=\"entry-content\">\n<h3 class=\"wp-block-heading\">Head of the team<\/h3>\n<ul>\n<li><a href=\"https:\/\/informatique-umons.be\/bruyere-veronique\">V\u00e9ronique Bruy\u00e8re<\/a>, full professor<\/li>\n<\/ul>\n<h3>Research associate<\/h3>\n<ul>\n<li><a href=\"https:\/\/pierre-vandenhove.github.io\/\">Pierre Vandenhove<\/a><\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">PhD students<\/h3>\n<ul>\n<li><a href=\"https:\/\/scholar.google.com\/citations?user=KhK23o0AAAAJ\">Guillaume Cardoen<\/a> (supervised by <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> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and <a href=\"https:\/\/verif.ulb.ac.be\/jfr\/\">Jean-Fran\u00e7ois Raskin<\/a>, ULB)<\/li>\n<li>K\u00e9vin Dubrulle (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and <a href=\"https:\/\/www.uantwerpen.be\/en\/staff\/guillermoalberto-perez\/\">Guillermo Perez<\/a>, UAntwerp)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Former PhD students<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.gaetanstaquet.com\/\">Ga\u00ebtan Staquet<\/a>, 2024, Active Learning of Automata with Resources (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Guillermo Perez, UAntwerp)<\/li>\n<li>Cl\u00e9ment Tamines, 2022, <em>On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Gauvain Devillez, 2022, <em>Proofs by transformation in extremal graph theory<\/em> (supervised by <a href=\"https:\/\/informatique.umons.ac.be\/staff\/Melot.Hadrien\/\">Hadrien M\u00e9lot<\/a>, UMONS, and <a href=\"https:\/\/www.polymtl.ca\/expertises\/hertz-alain\">Alain Hertz<\/a>, Polytechnique Montreal)<\/li>\n<li><a href=\"http:\/\/alinegoeminne.github.io\/\">Aline Goeminne<\/a>, 2021, <em>Equilibria in Multiplayer Games Played on Graphs<\/em> (supervised by Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Quentin Hautem, 2018, <em>The Complexity of Combining Objectives in Two-Player Games<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, <a href=\"https:\/\/math.umons.ac.be\/staff\/Randour.Mickael\/\">Micka\u00ebl Randour<\/a>, UMONS-ULB, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>No\u00e9mie Meunier, 2016, <em>Multi-Player Quantitative Games: Equilibria and Algorithms<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Dany Maslowski, 2015, <em>Dichotomies in the Complexity of Counting Database Repairs<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and <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> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Aaron Bohy, 2014, <em>Antichain based algorithms for the synthesis of reactive systems<\/em> (supervised by <a href=\"https:\/\/staff.umons.ac.be\/thomas.brihaye\/\">Thomas Brihaye<\/a>, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n<li>Julie De Pril, 2013, <em>Equilibria in Multiplayer Cost Games <\/em>(supervised by Thomas Brihaye, UMONS, and V\u00e9ronique Bruy\u00e8re, UMONS)<\/li>\n<li>Marc Ducobu, 2013, <em>Antichains for QBF evaluation and VPA decision problems <\/em>(supervised by Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, and 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> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and <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> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Pierre Hansen, HEC Montreal, Canada)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Former post-doc students<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.lacl.fr\/~youalhadj\/index.php?lang=EN\">Youssouf Oualhadj<\/a> (november 2013 \u2013 august 2014)<\/li>\n<li><a href=\"https:\/\/www.labri.fr\/perso\/ogauwin\/\">Olivier Gauwin<\/a> (october 2009 \u2013 september 2011)<\/li>\n<li>Isabel Ara\u00f9jo (october 2003 \u2013 september 2005)<\/li>\n<\/ul>\n<h3 class=\"wp-block-heading\">Former member<\/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:v&#101;&#114;&#111;&#110;i&#113;u&#101;.&#98;r&#117;ye&#114;&#101;&#64;&#117;m&#111;ns.&#97;&#99;.be\" 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:&#71;u&#105;&#108;&#108;a&#117;&#109;e.&#67;A&#82;D&#79;&#69;&#78;&#64;&#117;m&#111;&#110;s.&#97;&#99;.&#98;&#101;\" 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:&#75;&#101;v&#105;&#110;.&#68;&#85;BR&#85;&#76;&#76;&#69;&#64;umo&#110;&#115;&#46;a&#99;.&#98;e\" rel=\"nofollow\" class=\"service-member\">\n                            <span class=\"member-name\">DUBRULLE K\u00e9vin<\/span>\n                            <span class=\"icon umons-icon-email\" aria-hidden=\"true\"><\/span>\n                        <\/a>\n                    <\/li>\n                                    <li>\n                        <a href=\"mailto:C&#104;r&#105;&#115;&#116;&#111;ph&#101;&#46;GR&#65;N&#68;M&#79;N&#84;&#64;um&#111;&#110;&#115;&#46;ac.&#98;e\" 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;&#104;&#114;i&#115;t&#105;&#97;n&#46;HE&#82;&#78;A&#76;&#83;T&#69;EN&#64;&#117;m&#111;&#110;s&#46;ac.&#98;&#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:gwe&#110;ael&#46;&#106;ore&#116;&#64;&#117;&#109;&#111;&#110;&#115;.a&#99;.&#98;e\" 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:noe&#109;&#105;&#101;.&#109;e&#117;&#110;&#105;&#101;&#114;&#64;um&#111;&#110;&#115;.a&#99;&#46;b&#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:Gaetan.ST&#65;&#81;&#85;E&#84;&#64;umo&#110;&#115;&#46;&#97;&#99;&#46;&#98;e\" 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;&#97;s&#99;&#104;&#97;&#46;VANCAUWE&#76;&#65;&#69;&#82;T&#64;umon&#115;.ac.be\" 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:Pierre.V&#65;&#78;DE&#78;HOV&#69;&#64;u&#109;&#111;ns&#46;&#97;c.be\" 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>Head of the team V\u00e9ronique Bruy\u00e8re, full professor Research associate Pierre Vandenhove PhD students Guillaume Cardoen (supervised by Tom Mons, UMONS) Christophe Grandmont (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB) K\u00e9vin Dubrulle (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Guillermo Perez, UAntwerp) Former PhD students Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources [&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-9","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Team - 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\/en\/team\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Team - Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"og:description\" content=\"Head of the team V\u00e9ronique Bruy\u00e8re, full professor Research associate Pierre Vandenhove PhD students Guillaume Cardoen (supervised by Tom Mons, UMONS) Christophe Grandmont (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB) K\u00e9vin Dubrulle (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Guillermo Perez, UAntwerp) Former PhD students Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/sith\/en\/team\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Informatique th\u00e9orique\" \/>\n<meta property=\"article:modified_time\" content=\"2025-12-03T11:10:55+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\/en\/team\/\",\"url\":\"https:\/\/web.umons.ac.be\/sith\/en\/team\/\",\"name\":\"Team - Service \/ FS - Informatique th\u00e9orique\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/#website\"},\"datePublished\":\"2021-11-08T12:51:54+00:00\",\"dateModified\":\"2025-12-03T11:10:55+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/sith\/en\/team\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/sith\/en\/team\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/sith\/en\/team\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/sith\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Team\"}]},{\"@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":"Team - 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\/en\/team\/","og_locale":"fr_FR","og_type":"article","og_title":"Team - Service \/ FS - Informatique th\u00e9orique","og_description":"Head of the team V\u00e9ronique Bruy\u00e8re, full professor Research associate Pierre Vandenhove PhD students Guillaume Cardoen (supervised by Tom Mons, UMONS) Christophe Grandmont (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB) K\u00e9vin Dubrulle (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Guillermo Perez, UAntwerp) Former PhD students Ga\u00ebtan Staquet, 2024, Active Learning of Automata with Resources [&hellip;]","og_url":"https:\/\/web.umons.ac.be\/sith\/en\/team\/","og_site_name":"Service \/ FS - Informatique th\u00e9orique","article_modified_time":"2025-12-03T11:10:55+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\/en\/team\/","url":"https:\/\/web.umons.ac.be\/sith\/en\/team\/","name":"Team - Service \/ FS - Informatique th\u00e9orique","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/sith\/#website"},"datePublished":"2021-11-08T12:51:54+00:00","dateModified":"2025-12-03T11:10:55+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/sith\/en\/team\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/sith\/en\/team\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/sith\/en\/team\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/sith\/"},{"@type":"ListItem","position":2,"name":"Team"}]},{"@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":"en","translations":{"en":9},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/9","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=9"}],"version-history":[{"count":3,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/9\/revisions"}],"predecessor-version":[{"id":151,"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/pages\/9\/revisions\/151"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/sith\/wp-json\/wp\/v2\/media?parent=9"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}