Marieke Huisman
Dutch computer scientist
From Wikipedia, the free encyclopedia
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]
.jpg)
Marieke Huisman | |
|---|---|
Marieke Huisman in 2019 | |
| Born | 3 May 1973 |
| Citizenship | Dutch |
| Alma mater | Utrecht University |
| Known for | Software Reliability, VerCors toolset |
| Scientific career | |
| Doctoral advisor | Henk Barendregt |
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]
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]
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 |