Welcome to my personal webpage! Currently, I'm a Post-doc researcher at the Eindhoven University of Technology.
My research is on model checking, in particular on improving the algorithms to do model checking, with a special
focus on applying modern parallel architectures (with, e.g., multi-core CPUs and general purpose GPUs) to perform
the involved computations. Feel free to have a look at my list of publications and the software tools I developed!
