Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group.
Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group. (en)
Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group. (en)