Before joining the CLeVer project, I completed my PhD at Eindhoven University of Technology. My thesis is titled “Reductions for Parity Games and Model Checking”. Some of my research interests are model checking, fixpoint logics, bisimulation and partial-order reduction.

I am now employed as a Postdoctoral research assistant at Royal Holloway, University of London. My goal in the project is to bring some of the ideas from reduction techniques in model checking to automata learning and tackle the problem of learning systems that consist of concurrent components.