Mickael Randour

I am an FNRS research associate (tenured researcher position) in the Mathematics Department and Complexys Institute in the Université de Mons (UMONS), Belgium. I work with the team of T. Brihaye. My research interests are mainly focused on game theory, formal verification and efficient and reliable controller synthesis for reactive systems.

From October 2015 to September 2017, I was an FNRS post-doctoral researcher in the Formal Methods and Verification group in the Université Libre de Bruxelles (ULB), Belgium. I was part of the team of J.-F. Raskin.

From October 2014 to September 2015, I was a post-doctoral researcher in the VASCO group at the LSV, CNRS & ENS Cachan, France, and a member of the CASSTING project. I worked with P. Bouyer-Decitre and N. Markey.

From October 2010 to September 2014, I was a research fellow of the FNRS at the Université de Mons (UMONS), Belgium. I was part of the Theoretical Computer Science team, led by V. Bruyère. I defended my PhD thesis in Computer Science in April 2014. My thesis, entitled Synthesis in Multi-Criteria Quantitative Games, was supervised by V. Bruyère (UMONS) and J.-F. Raskin (ULB).

• Curriculum Vitae (updated on November 20, 2019).

My recent work is focused on rich game models involving stochastic behavior, multiple objectives, qualitative and quantitative specifications, etc.

Ongoing projects and grants

• ManySynth - Many-sided Synthesis of Reactive Systems: Foundations, Algorithms, and Tools.
• L² - Logic meets Learning.

Publications and talks

• My publications.
• My talks (with slides).

Main collaborations

• Team of K.G. Larsen (Aalborg University, Denmark).
• Team of N. Bertrand, N. Markey and O. Sankur (IRISA - INRIA Rennes, France).
• Team of A. Sangnier (IRIF, Université Paris Diderot, France).
• Team of H. Gimbert and team of N. Fijalkow (LaBRI, Université de Bordeaux, France).
• Team of K. Chatterjee (IST Austria, Austria).
• Team of Y. Oualhadj and M. Sassolas (LACL - UPEC, France).
• Teams of P. Bouyer-Decitre, L. Doyen and Stéphane Le Roux (LSV - CNRS & ENS Paris-Saclay, France).
• Team of J.-P. Katoen (RWTH Aachen, Germany).
• Team of M. Zimmermann (Saarland University, Germany).
• Teams of E. Filiot and J.-F. Raskin (ULB, Belgium).
• Teams of T. Brihaye and V. Bruyère (UMONS, Belgium).
• Team of A. Pauly (Swansea University, United Kingdom).

Events

Upcoming

• 2019: GT Alga annual meeting 2019 (Paris).

Past

• 2019: Complex Systems think tank (Mons), Workshop - Theory and Algorithms in Graph and Stochastic Games (co-organizer, Mons), ICALP 2019 (PC member, Patras), MoRe 2019 (PC chair, Vancouver), CONCUR 2019 (Amsterdam), RP 2019 (PC member, Brussels), SETTA 2019 (PC member, Shanghai), HIGHLIGHTS 2019 (Warsaw).
• 2018: Logic & Learning workshop at the Alan Turing Institute (London), GT Vérif 2018 (Grenoble), FoPSS 2018 (Oxford), FLoC 2018 (Oxford), MoRe 2018 (PC chair, Oxford), GandALF 2018 (PC Member, Saarbrücken).
• 2017: Regional Days on Model Theory and Applications (Mons), BigDat 2017 (Bari), FoSSaCS 2017 (Uppsala), LSV's 20th anniversary workshop (Cachan), HIGHLIGHTS 2017 (London), V2CPS 2017 (PC member, Torino), GandALF 2017 (PC member, Rome).
• 2016: Modeling & Simulation Day - Energie and Complexys Institutes (Mons), CASSTING final workshop (Eindhoven), INFORTECH Scientific Day (Mons), ICALP 2016 (Rome), GAMES 2016 (Maastricht), Highlights 2016 (Brussels).
• 2015: Dagstuhl seminar "Non-Zero-Sum-Games and Control" (Dagstuhl), FFM'15 (Aachen), ERC Workshop IST Austria (Vienna), EDT Complex (Namur), 5th CASSTING meeting (Brussels), LSV Colloquium in honour of Martin Abadi (Cachan), CAV'15 (San Francisco), CSL'15 (Berlin), Highlights 2015 (Prague), CASSTING 6th meeting (Cachan).
• 2014: GT Jeux (Paris), STACS'14 (Lyon), Strategic Reasoning 2014 (Grenoble), CASSTING meeting (Brussels), HIGHLIGHTS 2014 (Paris), Heidelberg Laureate Forum (Heidelberg), Fourth CASSTING meeting (Aachen).
• 2013: CASSTING kick-off meeting (Paris), Francqui lecture series by Wolfgang Thomas (Mons), ERC Workshop (Jerusalem), HIGHLIGHTS'13 (Paris), CASSTING 2nd meeting (Aalborg), ATVA'13 (Hanoi), Nord Pas de Calais / Belgium Congress of Mathematics (Valenciennes and Mons).
• 2012: Workshop on Synthesis (Brussels), CAV'12 (Berkeley), ECCS'12 (Brussels), CONCUR'12 (Newcastle), GAMES'12 (Naples), GT Jeux 2012 (Cachan).
• 2011: 5th GASICS meeting (Mons), GAMES'11 Workshop (Paris), GASICS'11 3rd Workshop (Aachen), GASICS meeting (Brussels).
• 2010: QMC'10 (Copenhagen), 3rd GASICS meeting (Aalborg), MOVEP'10 (Aachen), GPMFV'10 (Brno), GAMES'10 (Oxford), 4th GASICS meeting (Paris).

Popular science workshops

• Pint of Science 2019 Mons, city coordinator, 20-22/05/19, Mons. [Pint of Science]
• It's your turn to play!, Mathematics and Science Days, 28-29/03/19, UMONS. [Slides (in french)]
• It's your turn to play!, Mathematics and Science Days, 22-23/03/18, UMONS. [Slides (in french)]
• Playing games is not a game!, Mathematics and Science Days, 27-28/03/14, UMONS. [Slides (in french)]
• Playing games is not a game!, Mathematics and Science Days, 21-22/03/13, UMONS. [Slides (in french)]

Teaching

Students

• Postdoc students: Frantisek Blahoudek (2018-2019), Adrien Boiret (2018-2019).
• PhD students: Pierre Vandenhove (2019-2023), Florent Delgrange (2018-2019), Quentin Hautem (2014-2018).
• Master students: James Main (2020, UMONS), Pierre Vandenhove (2019, UMONS), Dorian Labeeuw (2019, UMONS), Dimitri Waelkens (2019, UMONS), Florent Delgrange (2017, 2018, UMONS), Thomas Carlier (2018, UMONS), Simon Olbregts (2016, UMONS), Alexandre Devaux (2014, UMONS).
• Interns: James Main (2019, UMONS), Raphaël Berthon (2016, ENS Rennes), Jean-Baptiste Courtois (2015, ENS Cachan).
• Bachelor students: Rémy Detobel (2017, ULB), Thomas Herman (2017, ULB), Loan Sens (2017, ULB).

You can contact me by

• E-mail: mickael.randour [at] gmail.com
• Phone: +32 65 37 34 49
• Snail Mail:
  Mickael Randour
  UMONS - Faculty of Science - Mathematics Department
  Bâtiment De Vinci, Avenue Victor Maistriau, 15
  7000 Mons
  BELGIUM