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.

[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.

[8] Since July 2017, Huisman is a full professor at the University of Twente.

[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]