Marieke Huisman

Marieke Huisman
Marieke Huisman 2019
Född	( 1973-05-03 ) 3 maj 1973 Utrecht , Nederländerna
Medborgarskap	holländska
Alma mater	Utrecht universitet
Känd för	Programvarutillförlitlighet, VerCors verktygsuppsättning
Vetenskaplig karriär
Doktorand rådgivare	Henk Barendregt

Marieke Huisman (född 3 maj 1973, Utrecht , Nederländerna ) är en nederländsk datavetare och professor i Software Reliability vid University of Twente , där hon leder gruppen for formella metoder och verktyg .

Karriär

Huisman tog examen från Utrecht University 1996. Hon tog sin doktorsexamen vid Radboud University Nijmegen 2001; hennes avhandling, med titeln Reasoning about Java-programs in higher order logic using PVS and Isabelle, handledes av Henk Barendregt .

Från 2001 till 2008 arbetade hon på INRIA Sophia Antipolis Research Centre i Frankrike, innan hon började på University of Twente i Nederländerna. Huisman fick ett ERC Starting Grant 2010 och ett NWO Vici Grant 2017. Hon tilldelades Nederländernas pris för IKT-forskning 2013 och Professor De Winter-priset 2014.

Sedan juli 2017 är Huisman professor vid University of Twente . Hon höll sin invigningsföreläsning, Software Reliability for Everyone , den 26 januari 2021.

Huiman är ordförande för VERSEN (VEReniging Software Engineering Nederland), Dutch National Association for Software Engineering, ordförande för The Ambassadors Network, som ger råd till styrelsen för University of Twente om mångfaldspolicy, och styrelseledamot i Stichting Digitaal Burgerschap Nederland, Dutch Digital Citizenship Foundation

Utmärkelser och utmärkelser

År	Organisation	Pris / Heder
2013	Den holländska IKT-forskningsplattformen IPN och den nederländska organisationen för vetenskaplig forskning	Nederländernas pris för IKT-forskning
2014	Universitetet i Twente	Professor de Winter-priset

externa länkar

• Profilsida (University of Twente)
• Hemsida Marieke Huisman (University of Twente)
• Marieke Huismans publikationer indexerade av Google Scholar