Wikipedia

Mariëlle Stoelinga

(Redirected from Draft:Mariëlle Stoelinga)

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.

Mariëlle Stoelinga
CitizenshipDutch
Alma mater
Awards
  • ICALP 2003,[1] best paper
  • EASST 2016,[2] best paper
  • AAAI 2022,[3] best paper
  • CONCUR 2022,[4] test-of-time
Scientific career
Fields
Institutions
Websitewwwhome.ewi.utwente.nl/~marielle/

Education

edit

Stoelinga obtained her degree in Mathematics & Computer Science at the University of Nijmegen, with a specialization in foundations of mathematics and computer science.[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.[8][5]

Research

edit
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]

Career

edit

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.[5][8]

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]

References

edit
  1. ^ "Best ICALP Paper". www.eatcs.org. Retrieved 2023-07-25.
  2. ^ "Best EASST Paper". etaps.org/. Retrieved 2023-07-25.
  3. ^ "AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms". www.utwente.nl. Retrieved 2023-07-25.
  4. ^ "Mariëlle Stoelinga wins award for 20-year-old scientific publication". www.utwente.nl. Retrieved 2023-07-25.
  5. ^ a b c "Prof. Dr. Mariëlle Stoelinga". wwwhome.ewi.utwente.nl. Retrieved 2023-07-18.
  6. ^ a b c "People | FMT group members | FMT group". Universiteit Twente. Retrieved 2023-07-18.
  7. ^ a b c d e "prof.dr. M.I.A. Stoelinga (Mariëlle) | Universiteit Twente". personen.utwente.nl (in Dutch). Retrieved 2023-07-18.
  8. ^ a b c d e f Stoelinga, Marielle. "Marielle Stoelinga's Curriculum Vitae" (PDF). Retrieved 18 July 2023.
  9. ^ a b c "Prof.Dr. Mariëlle Stoelinga | Research University of Twente". Universiteit Twente. Retrieved 2023-07-18.
  10. ^ a b "Five million euro grant award for predictive maintenance using big data algorithms". Universiteit Twente. Retrieved 2023-07-18.
  11. ^ a b "Projects | PrimaVera: Predictive maintenance for Very effective asset management | FMT group". Universiteit Twente. Retrieved 2023-07-18.
  12. ^ a b "Primavera Project – Predictive maintenance for Very effective asset management". 2022-03-28. Retrieved 2023-07-20.
  13. ^ a b "Projects | CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking | FMT group". Universiteit Twente. Retrieved 2023-07-18.
  14. ^ a b "ERC Consolidator Grant for Marielle Stoelinga". www.utoday.nl. 2019-12-10. Retrieved 2023-07-18.
  15. ^ a b European Commission, CORDIS. "Integrating Safety and Cybersecurity through Stochastic Model Checking". Retrieved 20 July 2023.
  16. ^ a b "Prof Stoelinga leads new consortium on Smart Diagnostics". www.versen.nl. Retrieved 2023-07-20.
  17. ^ a b "Projects | ZORRO: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics | FMT group". Universiteit Twente. Retrieved 2023-07-20.
  18. ^ a b "2023 Zorro". ESI (in Dutch). Retrieved 2023-07-20.
  19. ^ "Mariëlle Stoelinga receives ERC Consolidator Grant". Universiteit Twente. Retrieved 2023-07-18.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Mariëlle_Stoelinga&oldid=1185855989"