Marieke Huisman

Marieke Huisman is hoogleraar software reliability aan de Universiteit Twente. Na haar doctoraal aan de Universiteit Utrecht werkte zij aan de Radboud Universiteit aan haar promotieonderzoek op het gebied van softwareverificatie in de groep van Bart Jacobs. Na haar promotie werkte zij in Frankrijk, bij INRIA Sophia Antipolis, eerst als postdoc onderzoeker en daarna als chargée de recherche. Hier breidde ze haar onderzoek naar softwarebetrouwbaarheid uit naar parallelle programma’s. Sinds 2008 werkt ze aan de Universiteit Twente, waar ze verschillende prestigieuze beurzen en prijzen kreeg voor haar onderzoek. In 2017 werd ze tot hoogleraar benoemd, en sinds 2018 leidt ze de vakgroep Formal Methods and Tools.