| Marieke Huisman | |
| Birth Date: | 1973 5, df=yes |
| Birth Place: | Utrecht, Netherlands |
| Citizenship: | Dutch |
| Alma Mater: | Utrecht University |
| Doctoral Advisor: | Henk Barendregt |
| Known For: | Software Reliability, VerCors toolset |
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]
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.
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[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]
Huisman 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]
| Year | Organisation | Award / Honour |
|---|---|---|
| 2013 | Netherlands Prize for ICT Research | |
| 2014 | University of Twente | Professor de Winter Prize |