[8] Her Master’s thesis covered the topic of Exact Representations of and Computability on Real Numbers,[8] under the supervision of Erik Barendsen and Henk Barendregt.
In 2001 she obtained her PhD at the Computing Science Institute in Nijmegen, the Netherlands, supervised by Frits Vaandrager, with a thesis titled: Alea Jacta est: Verification of Probabilistic, Real–Time and Parametric Systems.
[7] This approach is applied in the field of predictive maintenance[9] and on the interactions between safety and (cyber)security, as testified by her recently granted projects: PrimaVera,[10][11][12] CAESAR[13][14][15] and ZORRO.
[16][17][18] From December 2001 to April 2004, Stoelinga worked as a Post-doc researcher in Computer Engineering at the University of California, Santa Cruz, USA, with Prof. Luca de Alfaro.
[13] Furthermore, Stoelinga recently received another grant from the Dutch Research Council (NWO) for the ZORRO Project: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics.