Email: benjamin [dot] bordais [at] ulb [dot] be
List of publications: DBLP
Quick CV: Since September 2025, I am a postdoctoral researcher mostly working with Jean-François Raskin at ULB, Belgium. I am currently studying Multi-Environmment MDPs (MEMDPs), which parameterize MDPs with an unknown environment which impacts that various transition probabilities. A crucial aspect for playing efficiently in MEMDPs is to learn, with sufficiently high probability, the current environment in which we are playing.
Between October 2023 and August 2025, I was a postdoctoral researcher at RC-Trust in Dortmund, Germany, mostly working with Daniel Neider. During my postdoc in Dortmund, I studied various aspects of the passive learning problem of temporal logic formulas (complexity, SAT-solver implementation, enumeration algorithm). I also studied the passive learning problem of finite automata with positive examples only.
I obtained my PhD, supervised by Patrcia Bouyer and Stéphane Le Roux, in October 2023 at LMF, France. My PhD dealt with concurrent games on graphs. Specifically, I have extensively studied how we can restrict the local interactions appearing in games to obtain large classes of concurrent games enjoying desirable properties (e.g. existence of optimal strategies in reachability games).
During my PhD and as a postdoctoral researcher both at RC-Trust and at ULB, I have been teaching various exercises sessions.
My detailed CV (in French) can be found here: CV