Mariëlle I. A. Stoelinga is a Dutch computer scientist based in the Netherlands. She is full professor of Risk Management for High Tech Systems[5] in the Formal Methods & Tools Group[6] at the University of Twente, Enschede, the Netherlands and holds a partial appointment as a full professor in the Software Science department at the Radboud University, Nijmegen.[7] She is also director of Life Long Learning[6] at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente.
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.[8][5]
Mariëlle Stoelinga in a public lecture on Risk Management
Stoelinga main area of research deals with quantitative risk assessment methods to ensure that the risks associated with high technology systems are within acceptable limits. She develops techniques for analyzing, predicting and improving the reliability of complex systems using fault trees, model-based testing and architectural reliability modelling.[7]
A distinguishing feature of techniques developed by Stoelinga is compositionality, as she derives the risk profile of a complex system from the risk profiles of its components, using techniques from model checking.[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 August 2005 to September 2005 she was a visiting researcher at the University of California, Santa Cruz,[8] and starting May 2004 she was an assistant professor in the Formal Methods & Tools Group,[8] at the University of Twente, where she now holds a full professor position[6][7] alongside a partial appointment as a full professor at the Radboud University, Nijmegen,[7] in the Software Science department.
In 2019, she received a substantial grant from the Dutch Research Council (NWO).[12][9][10] She also received an ERC Consolidator Grant from the European Research Council.[9][15][19][14] With the NWO grant, she is leading a team of industrialists and academics to better integrate the various steps in predictive maintenance.[11] With the ERC grant, Stoelinga is developing new methods for better and more integrated assessment of safety and (cyber)security.[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.[16][17][18]
This article needs additional or more specific categories. Please help outbyadding categories to it so that it can be listed with similar articles.(November 2023)