Marieke Huisman

Professor Marieke Huisman is a leading figure in software reliability at the University of Twente, where she chairs the Computer Science department within the Faculty EEMCS and leads the Formal Methods and Tools (FMT) Group. She serves as President and Steering Committee chair of the ETAPS association, Member of the board of IPN (ICT-Research Platform Netherlands), and Fellow of the Netherlands Academy of Engineering (NAE).

Her research focuses on program verification, reliability of concurrent, parallel and distributed applications, software specification, and formal methods. She develops verification techniques through the VerCors verifier, with applications spanning concurrent data structures, GPGPU programming, and distributed systems. Her work bridges theoretical formal methods with industrial applications, particularly in safety-critical domains.

Professor Huisman's recent publications demonstrate strong activity in deductive verification, with particular emphasis on verification of concurrent and parallel systems, memory models, and practical applications of formal methods. Her research shows consistent evolution from theoretical foundations toward practical industrial applications, with increasing focus on GPU programming verification and automated invariant generation.

• Netherlands Prize for ICT Research 2013 (50,000 euros)
• 2023 Athena Award for female researchers who stand out as role models

She leads multiple significant research projects including NWO OC M Pallas, WWU Münster - UT collaboration Saves, NWO TTW OTP Cheops, NWO VICI Mercedes, and Interreg North Sea Storm_Safe. Her leadership extends to editorial roles including Associate Editor-in-Chief of the Software Track of Science in Computer Programming and executive board membership of VERSEN, the Dutch National Association for Software Engineering.

Professor Huisman directs the FMT Group which develops the VerCors verification toolset for concurrent and parallel software. The group collaborates internationally with institutions including WWU Münster, TU Eindhoven, and NlNet Labs, focusing on making formal verification accessible and practical for real-world software development challenges.