Contributions by role
Contributions by subject area
Marieke Huisman
Summary
Marieke Huisman is a professor in Software Reliability, leading 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. She leads the development of the VerCors program verifier for concurrent software. For this work, she has received the support of several personal grants, such as an ERC Starting Grant, and a Vici grant from the Dutch Science Organisation. She has been chairing Versen, the Dutch association of software researchers, and works hard to improve the overall visibility of software research.
Distributed & Parallel Computing Programming Languages Security & Privacy Software Engineering Theory & Formal Methods
Editorial Board Member
