{"id":44,"date":"2024-03-20T15:56:48","date_gmt":"2024-03-20T14:56:48","guid":{"rendered":"https:\/\/informatique-umons.be\/Bruyere-Veronique\/?page_id=44"},"modified":"2024-04-03T15:58:07","modified_gmt":"2024-04-03T13:58:07","slug":"team","status":"publish","type":"page","link":"https:\/\/informatique-umons.be\/tcs\/team\/","title":{"rendered":"Team"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">Permanent Member<\/h3>\n\n\n\n<ul>\n<li><a href=\"https:\/\/informatique-umons.be\/bruyere-veronique\">V\u00e9ronique Bruy\u00e8re<\/a>, Full professor<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">PhD Students<\/h3>\n\n\n\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\n\n\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\n\n\n<li><a href=\"https:\/\/www.gaetanstaquet.com\/\">Ga\u00ebtan Staquet<\/a> (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\n\n\n<h3 class=\"wp-block-heading\">Former PhD Students<\/h3>\n\n\n\n<ul>\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\n\n\n<li>Gauvain Devillez, 2022, <em>Proofs by transformation in extremal graph theory<\/em> (supervised by Hadrien M\u00e9lot, UMONS, and Alain Hertz, Polytechnique Montreal)<\/li>\n\n\n\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> (supervised by Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n\n\n\n<li>Quentin Hautem, 2018, <em>The Complexity of Combining Objectives in Two-Player Games<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, Micka\u00ebl Randour, UMONS-ULB, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n\n\n\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\n\n\n<li>Dany Maslowski, 2015, <em>Dichotomies in the Complexity of Counting Database Repairs<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jef Wijsen, UMONS)<\/li>\n\n\n\n<li><a href=\"https:\/\/math.umons.ac.be\/staff\/Randour.Mickael\/\">Micka\u00ebl Randour<\/a>, 2014, <em>Synthesis in Multi-Criteria Quantitative Games<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n\n\n\n<li>Aaron Bohy, 2014, <em>Antichain based algorithms for the synthesis of reactive systems<\/em> (supervised by Thomas Brihaye, UMONS, V\u00e9ronique Bruy\u00e8re, UMONS, and Jean-Fran\u00e7ois Raskin, ULB)<\/li>\n\n\n\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\n\n\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\n\n\n<li><a href=\"https:\/\/staff.umons.ac.be\/thomas.brihaye\/\">Thomas Brihaye<\/a>, 2006, <em>Verification and control of o-minimal hybrid systems and weighted timed automata<\/em> (supervised by V\u00e9ronique Bruy\u00e8re, UMONS, and Christian Michaux, UMONS)<\/li>\n\n\n\n<li><a href=\"https:\/\/informatique.umons.ac.be\/staff\/Melot.Hadrien\/\">Hadrien M\u00e9lot<\/a>, 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\n\n\n<h3 class=\"wp-block-heading\">Former Postdoc Students<\/h3>\n\n\n\n<ul>\n<li><a href=\"https:\/\/www.lacl.fr\/~youalhadj\/index.php?lang=EN\">Youssouf Oualhadj<\/a> (november 2013 &#8211; august 2014)<\/li>\n\n\n\n<li><a href=\"https:\/\/www.labri.fr\/perso\/ogauwin\/\">Olivier Gauwin<\/a> (october 2009 &#8211; september 2011)<\/li>\n\n\n\n<li>Isabel Ara\u00f9jo (october 2003 &#8211; september 2005)<\/li>\n<\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Former Permanent Member<\/h3>\n\n\n\n<ul>\n<li>Olivier Delgrange, chef de travaux <\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Permanent Member PhD Students Former PhD Students Former Postdoc Students Former Permanent Member<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/44"}],"collection":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/comments?post=44"}],"version-history":[{"count":4,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/44\/revisions"}],"predecessor-version":[{"id":82,"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/pages\/44\/revisions\/82"}],"wp:attachment":[{"href":"https:\/\/informatique-umons.be\/tcs\/wp-json\/wp\/v2\/media?parent=44"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}