Short Bio

I am an FNRS research associate (tenured researcher position) and Professor 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).

Research

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

Ongoing projects and grants

Publications and talks

Main collaborations

Events

Upcoming

  • 2020: FMAI 2020 (London), ETAPS 2020 (Dublin), MFCS 2020 (PC member, Prague), SETTA 2020 (PC member, Beijing), GandALF 2020 (PC member, Brussels).

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), 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: 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).

Contact

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