Invited Tutorial Speaker Marieke Huisman

Marieke Huisman is well-known for her work on specification and verification of parallel software. At the University of Twente, she heads the CS department and leads the Formal Methods and Tools group. With her team, she develops the VerCors verifier, a practical verifier for concurrent software verification. She advances the field of program verification, but also actively collaborates with industry on practical case studies and usability studies. Her work has been supported by several grants, such as the ERC Starting Grant for the VerCors project (2011), the EU project CARP (2011), NWO Top project VerDi (2015), VICI project Mercedes (2018), NWO OTP project Cheops (2019), and NWO OC project Pallas (2023). She chairs IPN, the Platform of Dutch Computer Science researchers, and is actively involved in various organisations such as the Netherlands Academy of Engineering, ETAPS, and VerifyThis. She received the Netherlands Prize for ICT research in 2013 and the Athena Award for outstanding female researchers in 2023.