Marieke Huisman
Academic Editor

Marieke Huisman


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.

Distributed & Parallel Computing Programming Languages Security & Privacy Software Engineering Theory & Formal Methods

Institution affiliations

Work details

Adjoint Professor

University of Twente
Formal Methods and Tools