Since June 2010, I am assistent professor at the Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. I hold a Ph. D. degree (2008) from the University of Twente and a M.Sc degree (2004) from the RWTH Aachen, both in Computer Science.

As a researcher in the context of the 3TU Centre for Dependable ICT Systems, my focus is on dependability in critical 7x24 infrastructures, such as electrical power systems and their infrastructure and telecommunication and ICT infrastructures (i.e. SCADA). My interest is currently focused on the dependability analysis of water treatment facilities.

If you want to learn more about our ongoing research, please check out our DACS promotion video on SCADA networks.

During my PhD my research interests were CSL model checking in general, and model checking of infinite-state Markov chains in particular. I am still interested in structured state spaces like quasi-birth death processes (QBDs), tree-structured QBDs and Jackson queueing networks (JQNs) and in the analysis of bottlenecks in multi-hop IEEE 802.11e ad hoc networks.