Mariëlle Stoelinga
 | The topic of this article may not meet Wikitia's general notability guideline. |
Mariëlle Stoelinga | |
|---|---|
| Add a Photo | |
| Nationality | Dutch |
| Alma mater | Radboud University, Nijmegen |
| Occupation |
|
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[1] in the Formal Methods & Tools Group[2] 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[3]. She is also director of Life Long Learning[2] at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente.
Education
Stoelinga obtained her degree in Mathematics & Computer Science at the University of Nijmegen, with a specialization in foundations of mathematics and computer science[4]. Her Master’s thesis covered the topic of Exact Representations of and Computability on Real Numbers[4], under the supervision of Erik Barendsen.
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[4][1].
Research
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[3].
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[3].
This approach is applied in the field of predictive maintenance[5] and on the interactions between safety and (cyber)security, as testified by her recently granted projects: PrimaVera[6][7][8], CAESAR[9][10][11] and ZORRO[12][13][14].
Career
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[1][4].
From August 2005 to September 2005 she was a visiting researcher at the University of California, Santa Cruz[4], and starting May 2004 she was an assistant professor in the Formal Methods & Tools Group[4], at the University of Twente, where she now holds a full professor position[2][3] alongside a partial appointment as a full professor at the Radboud University, Nijmegen[3], in the Software Science department.
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[12][13][14].
References
- ↑ 1.0 1.1 1.2 "Prof. Dr. Mariëlle Stoelinga". wwwhome.ewi.utwente.nl. Retrieved 2023-07-18.
- ↑ 2.0 2.1 2.2 "People | FMT group members | FMT group". Universiteit Twente. Retrieved 2023-07-18.
- ↑ 3.0 3.1 3.2 3.3 3.4 "prof.dr. M.I.A. Stoelinga (Mariëlle) | Universiteit Twente". personen.utwente.nl (in Nederlands). Retrieved 2023-07-18.
- ↑ 4.0 4.1 4.2 4.3 4.4 4.5 Stoelinga, Marielle. "Marielle Stoelinga's Curriculum Vitae" (PDF). Retrieved 18 July 2023.
{{cite web}}: CS1 maint: url-status (link) - ↑ "Prof.Dr. Mariëlle Stoelinga | Research University of Twente". Universiteit Twente. Retrieved 2023-07-18.
- ↑ "Five million euro grant award for predictive maintenance using big data algorithms". Universiteit Twente. Retrieved 2023-07-18.
- ↑ "Projects | PrimaVera: Predictive maintenance for Very effective asset management | FMT group". Universiteit Twente. Retrieved 2023-07-18.
- ↑ "Primavera Project – Predictive maintenance for Very effective asset management". 2022-03-28. Retrieved 2023-07-20.
- ↑ "Projects | CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking | FMT group". Universiteit Twente. Retrieved 2023-07-18.
- ↑ "ERC Consolidator Grant for Marielle Stoelinga". www.utoday.nl. 2019-12-10. Retrieved 2023-07-18.
- ↑ European Commission, CORDIS. "Integrating Safety and Cybersecurity through Stochastic Model Checking". Retrieved 20 July 2023.
{{cite web}}: CS1 maint: url-status (link) - ↑ 12.0 12.1 "Prof Stoelinga leads new consortium on Smart Diagnostics". www.versen.nl. Retrieved 2023-07-20.
- ↑ 13.0 13.1 "Projects | ZORRO: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics | FMT group". Universiteit Twente. Retrieved 2023-07-20.
- ↑ 14.0 14.1 "2023 Zorro". ESI (in Nederlands). Retrieved 2023-07-20.
External links
This article "Mariëlle Stoelinga" is from Wikipedia. The list of its authors can be seen in its historical. Articles taken from Draft Namespace on Wikipedia could be accessed on Wikipedia's Draft Namespace.