Computer Science, University of Twente, NL
PhD, Computer Science, University of Aarhus, DK (Dec 2008).
Postdoc in the Verification group at the Computing Laboratory, University of Oxford, UK (2008-2010).
Researcher in systems at INCAS3, NL (2010-2012).
Assistant Professor, Computer Science, University of Groningen, NL (2012-2016).
Likes to machine-learn, mine, stress-test, and analyse (models of) complex systems (social networks, communication systems).