Misplaced Pages

Marieke Huisman

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Dutch computer scientist

Marieke Huisman
Marieke Huisman in 2019
Born (1973-05-03) 3 May 1973 (age 51)
Utrecht, Netherlands
CitizenshipDutch
Alma materUtrecht University
Known forSoftware Reliability, VerCors toolset
Scientific career
Doctoral advisorHenk Barendregt

Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group.

Career

Huisman graduated from Utrecht University in 1996. She obtained her PhD at Radboud University Nijmegen in 2001; her dissertation, entitled Reasoning about Java programs in higher order logic using PVS and Isabelle, was supervised by Henk Barendregt.

From 2001 to 2008 she worked at the INRIA Sophia Antipolis Research Centre in France, before joining the University of Twente in the Netherlands. Huisman received an ERC Starting Grant in 2010 and an NWO Vici Grant in 2017. She was awarded the Netherlands Prize for ICT Research in 2013 and the Professor De Winter prize in 2014.

Since July 2017, Huisman is a full professor at the University of Twente. She held her inaugural lecture, Software Reliability for Everyone, on 26 January 2021.

Huisman is chair of VERSEN (VEReniging Software Engineering Nederland), the Dutch National Association for Software Engineering, chairperson of The Ambassadors Network, which advises the executive board of the University of Twente on diversity policies, and board member of Stichting Digitaal Burgerschap Nederland, the Netherlands Digital Citizenship Foundation

Awards and honours

Year Organisation Award / Honour
2013 Dutch ICT research platform IPN and Netherlands Organisation for Scientific Research Netherlands Prize for ICT Research
2014 University of Twente Professor de Winter Prize

References

  1. ^ Huisman, Marieke (1 February 2001). Reasoning about Java programs in higher order logic using PVS and Isabelle (PhD thesis). Radboud University Nijmegen. ISBN 90-9014440-4.
  2. ^ "Featured Scientists: Marieke Huisman". University of Twente. Retrieved 26 January 2021.
  3. Marieke Huisman (July 1996). The calculation of a polytypic parser (Master thesis). Utrecht University. CiteSeerX 10.1.1.57.6537.
  4. "Verification of Concurrent Data Structures". Retrieved 26 January 2021.
  5. "Vici-beurs voor Huisman en Brinkman". U today. 17 February 2017. Retrieved 26 January 2021.
  6. "Netherlands Prize for ICT Research". Retrieved 26 January 2021.
  7. "ICT-Prijs van € 50.000,- voor Marieke Huisman (UT)". Koninklijke Hollandsche Maatschappij der Wetenschappen. 2013. Retrieved 26 January 2021.
  8. "Professor De Winterprijs" (in Dutch). University of Twente. Retrieved 26 January 2021.
  9. Nieke Roos (27 March 2018). "Interview: Betere software met meer vrouwen" (in Dutch). Bits&Chips. Retrieved 26 January 2021.
  10. "Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren" (in Dutch). University of Twente. 8 March 2018. Retrieved 26 January 2021.
  11. David Redeker (2017). "Software verbindt vakgebieden" (PDF). I/O Magazine (in Dutch). 14 (4). IPN (ICT Research Platform Nederland): 18–19. Retrieved 26 January 2021.
  12. Michaela Nesvarova (25 January 2018). "Software is everywhere". U today. Retrieved 26 January 2021.
  13. "Inaugural lecture prof. dr. Marieke Huisman". University of Twente. Retrieved 26 January 2021.
  14. "VERSEN Executive Board". VERSEN. Retrieved 26 January 2021.
  15. Kuipers, Rense (15 July 2020). "Ambassadors' Network looks beyond gender". U today. Retrieved 26 January 2021.
  16. "Marieke Huisman treedt toe tot bestuur" (in Dutch). Stichting Digitaal Burgerschap Nederland. Retrieved 26 January 2021.

External links

Categories: