Mickael Randour

I am looking for postdocs to join project ManySynth: contact me!

I am organizing MoRe 2018 with J. Sproston during FLoC 2018 in Oxford: consider joining us!

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 June 23, 2018).

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.

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 (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 and L. Doyen (LSV - CNRS & ENS Cachan, 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).

Events

Upcoming

• 2018: FoPSS 2018 (Oxford), MoRe 2018 (PC chair, Oxford), GandALF 2018 (PC Member, Saarbrücken).

Past

• 2018: Logic & Learning workshop at the Alan Turing Institute (London), GT Vérif 2018 (Grenoble).
• 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

• 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

• PhD students: Quentin Hautem (2014-2018, UMONS-ULB).
• Master students: Florent Delgrange (2017, 2018, UMONS), Thomas Carlier (2018, UMONS), Simon Olbregts (2016, UMONS), Alexandre Devaux (2014, UMONS).
• Interns: Jean-Baptiste Courtois (2015, ENS Cachan), Raphaël Berthon (2016, ENS Rennes).
• 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
  Place du Parc, 20
  7000 Mons
  BELGIUM