Her research interests include fault tree analysis, model-based testing and stochastic model checking. Dr. Stoelinga holds an MSc and PhD degree from Radboud University Nijmegen, the Netherlands, and has spent several years as a post-doc at the University of California at Santa Cruz, USA.