Marieke Huisman

Marieke Huisman is a Professor in Software Reliability at the University of Twente, where she leads the Formal Methods and Tools (FMT) Group within the Electrical Engineering, Mathematics and Computer Science faculty. She serves as the Chair of the Computer Science department and holds several significant leadership positions including President and Steering Committee chair of the ETAPS association, which runs the ETAPS conferences. As a Fellow of the Netherlands Academy of Engineering (NAE), she contributes to national and international research initiatives including serving on the board of the ICT-Research Platform Netherlands (IPN) and the NWO advisory table for Computer Science.

Her research focuses on program verification, reliability of concurrent and distributed applications, software specification, and formal methods. She has pioneered work in the verification of concurrent data structures and parallel programming models, with a particular emphasis on developing practical verification techniques that can be applied to real-world software systems. Her research has led to the development of the VerCors verification toolset, which is designed to verify concurrent and distributed software.

Analysis of her recent publications reveals a strong focus on practical applications of formal verification techniques, with significant work on GPU programming verification, embedded systems verification, and the development of tools that bridge the gap between theoretical verification methods and industrial practice. Her work spans multiple subdomains including memory safety for concurrent programs, verification of heterogeneous systems, and automated invariant generation.

• Netherlands Prize for ICT Research 2013 - A prestigious award worth 50,000 euros for innovative research in ICT
• 2023 Athena Award - Recognizing female researchers who stand out as role models for others

Professor Huisman has secured substantial research funding through multiple NWO projects including the ERC Starting Grant for the VerCors project, the NWO VICI project Mercedes (Maximal reliability of concurrent and distributed software), and the NWO OC M project Pallas. She actively supervises PhD students and master's projects, with a focus on practical verification techniques. Her leadership extends to major collaborative efforts such as the VerifyThis verification competition series and the development of the VerCors verification infrastructure. She also co-initiated the Alice & Eve project, which celebrates women in computing and promotes diversity in computer science.