Short Bio

I am an FNRS research associate (tenured researcher position) and Professor in the Mathematics Department (Effective Mathematics Unit) and Complexys Institute in the Université de Mons (UMONS), Belgium. I am currently the head of the Mathematics Department. My work is at the crossroad between computer science and mathematics: my research interests are mainly focused on game theory, artificial intelligence, formal verification and efficient and reliable controller synthesis for reactive systems.

Research

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

Projects and grants

Publications and talks

Events

Upcoming

  • 2024: MOVEP 2024 (PC member, Rennes), Dagstuhl seminar "Stochastic Games" (Dagstuhl), Highlights 2024 (Bordeaux).

Past

  • 2023: IJCAI 2023 (Macao), EUMAS 2023 (PC member, Naples), Dagstuhl seminar "The Futures of Reactive Synthesis" (Dagstuhl), GT Vérif 2023 (Paris), Belgian Mathematical Society Young Scholar Day 2023 (Brussels).
  • 2022: STACS 2022 (Marseille - online), GT DAAL 2022 (Lille), GDR IM 2022 (Lille), GAMENET Workshop - Current Trends in Graph and Stochastic Games (Maastricht), HIGHLIGHTS 2022 (Paris), CONCUR 2022 (ToT Award jury, Warsaw), EMSOFT 2022 (PC member WiP track, Shanghai), SETTA 2022 (PC member, Beijing).
  • 2021: FMAI 2021 (London), FORMATS 2021 (PC member, Paris), GT Vérif 2021 (Saclay), SETTA 2021 (PC member, Beijing), FSTTCS 2021 (online).
  • 2020: ETAPS 2020 (Dublin - cancelled), MFCS 2020 (PC member, Prague - online), CONCUR 2020 (Vienna - online), GandALF 2020 (PC member, Brussels - online), SETTA 2020 (PC member, Guangzhou - online).
  • 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), GT Alga annual meeting 2019 (Paris).
  • 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).

Teaching & other activities

Popular science workshops

Teaching

My course on formal methods for system design (UMONS, Master).

2018 - now Formal methods for system design UMONS Computer Science (CS) and Maths: 4th and 5th year
2015 - 2018 Formal verification of computer systems ULB CS: 4th year
2013 - 2014 Software Engineering Project UMONS CS and Maths: 2nd year
2012 - 2013 Software Engineering Project UMONS CS and Maths: 2nd and 3rd year
2010 - 2012 Software Engineering Project UMONS CS and Maths: 3rd year
2010 - 2011 Software Engineering UMONS CS and Maths: 3rd year
2009 - 2010 Algorithmics and programming UMONS CS and Maths: 1st year

Students

  • Postdoc students: Frantisek Blahoudek (2018-2019), Adrien Boiret (2018-2019).
  • PhD students: Luca Lani (2023-2029), Chloé Capon (2022-2028), James C. A. Main (2021-2025), Pierre Vandenhove (2019-2023), Quentin Hautem (2014-2018).
  • Master students: Maximilien Vanhaverbeke (2024, UMONS), Luca Lani (2023, UMONS), Chloé Capon (2021, 2022, UMONS), Luca Lani (2022, UMONS), Nicolas Lecomte (2021, 2022, UMONS), Dimitri Waelkens (2019, 2021, 2022, UMONS), Allan Dubrulle (2021, UMONS), James C.A. Main (2020, 2021, UMONS), Pierre Vandenhove (2019, UMONS), Dorian Labeeuw (2019, UMONS), Florent Delgrange (2017, 2018, UMONS), Thomas Carlier (2018, UMONS), Simon Olbregts (2016, UMONS), Alexandre Devaux (2014, UMONS).
  • Interns: Jean Abou Samra (2023, ENS Paris-Saclay), Maximilien Vanhaverbeke (2022, UMONS), Nicolas Lecomte (2021-2022, UMONS), Luca Lani (2021, UMONS), James Main (2020-2021, UMONS), 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).

Contact

You can contact me by

  • E-mail: mickael.randour [at] umons.ac.be
  • 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