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

Marieke Huisman (born 3 May 1973, Utrecht, Netherlands[1]) 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.[2]

Career

Huisman graduated from Utrecht University in 1996.[3] 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.[1]

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

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

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

Awards and honours

YearOrganisationAward / Honour
2013Dutch ICT research platform IPN and Netherlands Organisation for Scientific ResearchNetherlands Prize for ICT Research
2014University of TwenteProfessor de Winter Prize

References

  1. 1 2 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. ↑ Marieke Huisman (July 1996). The calculation of a polytypic parser (Master thesis). Utrecht University. CiteSeerX 10.1.1.57.6537.
  3. ↑ "Verification of Concurrent Data Structures". Retrieved 26 January 2021.
  4. ↑ "Vici-beurs voor Huisman en Brinkman". U today. 17 February 2017. Retrieved 26 January 2021.
  5. ↑ "Netherlands Prize for ICT Research". Retrieved 26 January 2021.
  6. ↑ "ICT-Prijs van € 50.000,- voor Marieke Huisman (UT)". Koninklijke Hollandsche Maatschappij der Wetenschappen. 2013. Retrieved 26 January 2021.
  7. ↑ "Professor De Winterprijs" (in Dutch). University of Twente. Retrieved 26 January 2021.
  8. ↑ Nieke Roos (27 March 2018). "Interview: Betere software met meer vrouwen" (in Dutch). Bits&Chips. Retrieved 26 January 2021.
  9. ↑ "Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren" (in Dutch). University of Twente. 8 March 2018. Retrieved 26 January 2021.
  10. ↑ David Redeker (2017). "Software verbindt vakgebieden" (PDF). I/O Magazine (in Dutch). IPN (ICT Research Platform Nederland). 14 (4): 18–19. Retrieved 26 January 2021.
  11. ↑ Michaela Nesvarova (25 January 2018). "Software is everywhere". U today. Retrieved 26 January 2021.
  12. ↑ "Inaugural lecture prof. dr. Marieke Huisman". University of Twente. Retrieved 26 January 2021.
  13. ↑ "VERSEN Executive Board". VERSEN. Retrieved 26 January 2021.
  14. ↑ Kuipers, Rense (15 July 2020). "Ambassadors' Network looks beyond gender". U today. Retrieved 26 January 2021.
  15. ↑ "Marieke Huisman treedt toe tot bestuur" (in Dutch). Stichting Digitaal Burgerschap Nederland. Retrieved 26 January 2021.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.