Biography:Mariëlle Stoelinga

From HandWiki
Short description: Dutch computer scientist and full professor
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/

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.

Education

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

File:Waarom is appen op de fiets statistisch gezien behoorlijk dom WISKUNDE.webm 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

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

  1. ↑ "Best ICALP Paper". https://www.eatcs.org/index.php/best-icalp-paper. 
  2. ↑ "Best EASST Paper". https://etaps.org/awards/best-paper/. 
  3. ↑ "AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms". https://www.utwente.nl/en/eemcs/fmt/news%20and%20vacancies/news%20and%20vacancies/2022/3/481138/aaai-distinguished-paper-award-won-by-marielle-stoelinga-for-groundbreaking-results-on-provably-correct-control-algorithms. 
  4. ↑ "Mariëlle Stoelinga wins award for 20-year-old scientific publication". https://www.utwente.nl/en/news/2022/9/74495/marielle-stoelinga-wins-award-for-20-year-old-scientific-publication. 
  5. ↑ 5.0 5.1 5.2 "Prof. Dr. Mariëlle Stoelinga". https://wwwhome.ewi.utwente.nl/~marielle/. 
  6. ↑ 6.0 6.1 6.2 "People | FMT group members | FMT group" (in en-GB). https://www.utwente.nl/en/eemcs/fmt/people/. 
  7. ↑ 7.0 7.1 7.2 7.3 7.4 "prof.dr. M.I.A. Stoelinga (Mariëlle) | Universiteit Twente" (in nl). https://personen.utwente.nl/m.i.a.stoelinga. 
  8. ↑ 8.0 8.1 8.2 8.3 8.4 8.5 Stoelinga, Marielle. "Marielle Stoelinga's Curriculum Vitae". https://wwwhome.ewi.utwente.nl/~marielle/cv.pdf. 
  9. ↑ 9.0 9.1 9.2 "Prof.Dr. Mariëlle Stoelinga | Research University of Twente" (in en-GB). https://www.utwente.nl/en/research/researchers/featured-scientists/stoelinga/. 
  10. ↑ 10.0 10.1 "Five million euro grant award for predictive maintenance using big data algorithms" (in en-GB). https://www.utwente.nl/en/news/2019/10/146407/five-million-euro-grant-award-for-predictive-maintenance-using-big-data-algorithms. 
  11. ↑ 11.0 11.1 "Projects | PrimaVera: Predictive maintenance for Very effective asset management | FMT group" (in en-GB). https://www.utwente.nl/en/eemcs/fmt/research/projects/primavera/. 
  12. ↑ 12.0 12.1 "Primavera Project – Predictive maintenance for Very effective asset management" (in en-US). 2022-03-28. https://primavera-project.com/. 
  13. ↑ 13.0 13.1 "Projects | CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking | FMT group" (in en-GB). https://www.utwente.nl/en/eemcs/fmt/research/projects/caesar/. 
  14. ↑ 14.0 14.1 "ERC Consolidator Grant for Marielle Stoelinga" (in en). 2019-12-10. https://www.utoday.nl/news/67696/erc-consolidator-grant-for-marielle-stoelinga. 
  15. ↑ 15.0 15.1 European Commission, CORDIS. "Integrating Safety and Cybersecurity through Stochastic Model Checking". https://cordis.europa.eu/project/id/864075. 
  16. ↑ 16.0 16.1 "Prof Stoelinga leads new consortium on Smart Diagnostics". https://www.versen.nl/news_items/zorro-project/. 
  17. ↑ 17.0 17.1 "Projects | ZORRO: Engineering for Zero Downtime in Cyber-Physical Systems via Intelligent Diagnostics | FMT group" (in en-GB). https://www.utwente.nl/en/eemcs/fmt/research/projects/zorro/. 
  18. ↑ 18.0 18.1 "2023 Zorro" (in nl). https://esi.nl/news/articles/2023-zorro. 
  19. ↑ "Mariëlle Stoelinga receives ERC Consolidator Grant" (in en-GB). https://www.utwente.nl/en/news/2019/12/499678/marielle-stoelinga-receives-erc-consolidator-grant. 




Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Mariëlle_Stoelinga&oldid=3440621"