Marieke Huisman is an adjoint Professor working in the Formal Methods and Tools group at the Univ. of Twente, Netherlands. She obtained her PhD in 2001 from the Univ. of Nijmegen, in the area of semantics and verification of sequential Java programs. She worked 8 years at INRIA Sophia Antipolis, France on verification of concurrent programs. In 2008 she joined the UT. In 2010 she received an ERC Starting Grant for the VerCors project on Verification of Concurrent Data Structures.