Biography:Marieke Huisman
Marieke Huisman | |
|---|---|
.jpg) Marieke Huisman in 2019 | |
| Born | 3 May 1973 Utrecht, Netherlands |
| Citizenship | Dutch |
| Alma mater | Utrecht University |
| Known for | Software Reliability, VerCors toolset |
| Scientific career | |
| Doctoral advisor | Henk 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
| 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.0 1.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. https://repository.ubn.ru.nl/handle/2066/18929.
- ↑ 2.0 2.1 "Featured Scientists: Marieke Huisman" (in en). University of Twente. https://www.utwente.nl/en/research/researchers/featured-scientists/huisman/.
- ↑ Marieke Huisman (July 1996). The calculation of a polytypic parser (Master thesis). Utrecht University. CiteSeerX 10.1.1.57.6537.
- ↑ "Verification of Concurrent Data Structures". https://cordis.europa.eu/project/id/258405.
- ↑ "Vici-beurs voor Huisman en Brinkman". U today. 17 February 2017. https://www.utoday.nl/news/63822/Vicibeurs_voor_Huisman_en_Brinkman.
- ↑ "Netherlands Prize for ICT Research" (in en). https://ict-research.nl/award/.
- ↑ "ICT-Prijs van € 50.000,- voor Marieke Huisman (UT)" (in en). Koninklijke Hollandsche Maatschappij der Wetenschappen. 2013. https://khmw.nl/nieuwsarchief-132/.
- ↑ "Professor De Winterprijs" (in nl). University of Twente. https://www.utwente.nl/nl/academische-plechtigheden/prijzen/winter/.
- ↑ Nieke Roos (27 March 2018). "Interview: Betere software met meer vrouwen" (in nl). Bits&Chips. https://bits-chips.nl/artikel/betere-software-met-meer-vrouwen/.
- ↑ "Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren" (in nl). University of Twente. 8 March 2018. https://www.utwente.nl/nieuws/2018/3/43844/westerdijk-impuls-extra-inzet-voor-vrouwelijke-hoogleraren.
- ↑ David Redeker (2017). "Software verbindt vakgebieden" (in nl). I/O Magazine (IPN (ICT Research Platform Nederland)) 14 (4): 18–19. https://ict-research.nl/wordpress/wp-content/uploads/2017/11/IO-magazine-december-2017.pdf. Retrieved 26 January 2021.
- ↑ Michaela Nesvarova (25 January 2018). "Software is everywhere". U today. https://www.utoday.nl/spotlight/64981/software-is-everywhere.
- ↑ "Inaugural lecture prof. dr. Marieke Huisman". University of Twente. https://www.utwente.nl/en/events/2018/1/163773/inaugural-lecture-prof.dr.-marieke-huisman.
- ↑ "VERSEN Executive Board". VERSEN. https://versen.nl/contents/board.
- ↑ Kuipers, Rense (15 July 2020). "Ambassadors' Network looks beyond gender". U today. https://www.utoday.nl/news/68614/ambassadors-network-looks-beyond-gender.
- ↑ "Marieke Huisman treedt toe tot bestuur" (in nl). Stichting Digitaal Burgerschap Nederland. https://www.digitaalburgerschapnederland.nl/nieuws/marieke-huisman-treedt-toe-tot-bestuur/.
External links
- Profile page (University of Twente)
- Homepage Marieke Huisman (University of Twente)
- Marieke Huisman publications indexed by Google Scholar
 |
