Marieke Huisman

Last updated

Marieke Huisman
Marieke Huisman (crop).jpg
Marieke Huisman in 2019
Born (1973-05-03) 3 May 1973 (age 50)
CitizenshipDutch
Alma mater Utrecht University
Known forSoftware Reliability, VerCors toolset
Scientific career
Doctoral advisor Henk Barendregt

Marieke Huisman (born 3 May 1973, Utrecht, Netherlands [1] ) 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. [2]

Contents

Career

Huisman graduated from Utrecht University in 1996. [3] She obtained her PhD at Radboud University Nijmegen in 2001; her dissertation, entitled Reasoning about Java programs in higher order logic using PVS and Isabelle, was supervised by Henk Barendregt. [1]

From 2001 to 2008 she worked at the INRIA Sophia Antipolis Research Centre in France, before joining the University of Twente in the Netherlands. [2] Huisman received an ERC Starting Grant in 2010 [4] and an NWO Vici Grant in 2017. [5] She was awarded the Netherlands Prize for ICT Research in 2013 [6] [7] and the Professor De Winter prize in 2014. [8]

Since July 2017, Huisman is a full professor at the University of Twente. [9] [10] [11] She held her inaugural lecture, Software Reliability for Everyone, [12] on 26 January 2021. [13]

Huisman is chair of VERSEN (VEReniging Software Engineering Nederland), the Dutch National Association for Software Engineering, [14] chairperson of The Ambassadors Network, which advises the executive board of the University of Twente on diversity policies, [15] and board member of Stichting Digitaal Burgerschap Nederland, the Netherlands Digital Citizenship Foundation [16]

Awards and honours

YearOrganisationAward / Honour
2013Dutch ICT research platform IPN and Netherlands Organisation for Scientific Research Netherlands Prize for ICT Research
2014University of TwenteProfessor de Winter Prize

Related Research Articles

<span class="mw-page-title-main">Radboud University Nijmegen</span> Public research university in Nijmegen, Netherlands

Radboud University (abbreviated as RU, Dutch: Radboud Universiteit, formerly Katholieke Universiteit Nijmegen) is a public research university located in Nijmegen, the Netherlands. The university bears the name of Saint Radboud, a 9th-century Dutch bishop who was known for his intellect and support of the underprivileged.

<span class="mw-page-title-main">Catholic Church in the Netherlands</span> Overview of the role of the Catholic Church in the Netherlands

The Catholic Church in the Netherlands is part of the worldwide Catholic Church under the spiritual leadership of the Pope in Rome. Its primate is the Metropolitan Archbishop of Utrecht, since 2008 Willem Jacobus Eijk. In 2015 Catholicism was the single largest religion of the Netherlands, forming some 23% of the Dutch people, based on in-depth interviewing, down from 40% in the 1960s.

The Dutch National Students Association is one of two national representations and spokesman of students in the Netherlands at the Ministry of Education, Culture and Science, VSNU, Association of Higher Professional Education, DUO, etc. The purpose of ISO is to improve the quality of higher education, protection of students' interests and representation of 688.000 students in higher education.

<span class="mw-page-title-main">Leonard Ornstein</span> Dutch physicist (1880–1941)

Leonard Salomon Ornstein was a Dutch physicist.

The Stichting Academisch Erfgoed (SAE), in English the Dutch Foundation for Academic Heritage, is a network of Dutch universities that supports these universities' heritage and cultural collections.

<span class="mw-page-title-main">Batavierenrace</span>

The Batavierenrace is a student relay race organized in the Netherlands each year in May. It is a 185 km running race starting off at the Radboud University Nijmegen in Nijmegen and it takes the up to 8500 participants in 25 stages through Germany to the campus of the University of Twente in Enschede. It was listed in 2012, in the Guinness World Records as the relay race with the highest number of participants (8,509). On April 28 and 29, 2023 the 51st Batavierenrace will take place.

Jacobus Nicolaas (Sjaak) Brinkkemper is a Dutch computer scientist, and Full Professor of organisation and information at the Department of Information and Computing Sciences of Utrecht University.

The Vrouwen Eredivisie, also known as the Azerion Eredivisie Vrouwen due to a 3 year sponsor contract starting from the 2022–2023 season, is the highest women's football league in the Netherlands. Organized by the Royal Dutch Football Association (KNVB) it was established in 2007 as a professional league and played for five seasons until 2012 when the leagues of the Netherlands and Belgium merged forming a single combined league. After three seasons the BeNe League folded and the Eredivisie was restarted in the 2015–16 season. The top 2 teams receive a spot in the UEFA Women's Champions League.

<span class="mw-page-title-main">Halleh Ghorashi</span> Anthropologist

Halleh Ghorashi is an Iranian-born anthropologist who lives in the Netherlands. From 2005 to 2012, she held the PaVEM chair in Management of Diversity and Integration in the Department of Organization Sciences at Vrije Universiteit in Amsterdam. She won the 2008 Triumph Prize.

Ad van der Avoird is a Dutch theoretical chemist. He was professor of theoretical chemistry at the Radboud University Nijmegen.

<span class="mw-page-title-main">Theo Rasing</span>

Theodorus "Theo" Henricus Maria Rasing is a Dutch professor of experimental physics at Radboud University Nijmegen. His expertise lies in the field of magneto-optics. He was a winner of the 2008 Spinoza Prize.

GITP is a HRD consultancy firm, founded in 1947 in collaboration with the Nijmegen University and the Tilburg School of Economics (Netherlands). Founders were Professor Dr. Theo Rutten and Professor Jan de Quay. Their objective was to contribute to economic restructuring of the Netherlands after World War II employing the most modern scientific insights, based on the philosophy that the right man or woman must be at the right job. A key contribution to achieve this came from the Marshall Plan, which provided funds.

<span class="mw-page-title-main">Books in the Netherlands</span>

As of 2018, Wolters Kluwer ranks as the Dutch biggest publisher of books in terms of revenue. Other notable Dutch houses include Brill and Elsevier.

Universiteiten van Nederland (UNL), previously Vereniging van Universiteiten until November 2021, is a trade group of government-funded research universities, including three special universities, and the Open University of the Netherlands. It formed as the Vereniging van Samenwerkende Nederlandse Universiteiten in 1985, as a successor to the Academische Raad.

<span class="mw-page-title-main">Nicoline van der Sijs</span> Dutch linguist and etymologist

Nicoline van der Sijs is a Dutch linguist and etymologist who is Professor of Historical Dutch Linguistics at Radboud University Nijmegen.

<span class="mw-page-title-main">Jan Keunen</span> Dutch ophthalmologist and member of the Senate

Johannes Ernest Everard "Jan" Keunen is a Dutch ophthalmologist, professor, and politician. After studying medicine at Radboud University Nijmegen and receiving his doctorate in 1988, he worked at academic hospitals in Utrecht, Leiden, and Nijmegen. He served as a member of the Senate between 2020 and 2023. Keunen is a member of the conservative–liberal People's Party for Freedom and Democracy (VVD) and has supported banning the sale of consumer fireworks.

<span class="mw-page-title-main">Volt Netherlands</span> Dutch political party

Volt Netherlands is a social liberal political party in the Netherlands. It is the Dutch chapter of Volt Europa, a political movement that operates on a European level.

Marieke Koekkoek is a Dutch lawyer and politician for the pro-European party Volt Netherlands. She was elected to the House of Representatives in the 2021 general election owing to the number of preference votes she received. Prior to being a member of parliament, she studied law and worked as a legal intern.

Mariëlle I. A. Stoelinga is a Dutch computer scientist based in the Netherlands. She is full professor of Risk Management for High Tech Systems in the Formal Methods & Tools Group at the University of Twente, Enschede, the Netherlands and holds a partial appointment as a full professor in the Software Science department at the Radboud University, Nijmegen. She is also director of Life Long Learning at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente.

References

  1. 1 2 Huisman, Marieke (1 February 2001). Reasoning about Java programs in higher order logic using PVS and Isabelle (PhD thesis). Radboud University Nijmegen. ISBN   90-9014440-4.
  2. Marieke Huisman (July 1996). The calculation of a polytypic parser (Master thesis). Utrecht University. CiteSeerX   10.1.1.57.6537 .
  3. "Verification of Concurrent Data Structures" . Retrieved 26 January 2021.
  4. "Vici-beurs voor Huisman en Brinkman". U today. 17 February 2017. Retrieved 26 January 2021.
  5. "Netherlands Prize for ICT Research" . Retrieved 26 January 2021.
  6. "ICT-Prijs van € 50.000,- voor Marieke Huisman (UT)". Koninklijke Hollandsche Maatschappij der Wetenschappen. 2013. Retrieved 26 January 2021.
  7. "Professor De Winterprijs" (in Dutch). University of Twente. Retrieved 26 January 2021.
  8. Nieke Roos (27 March 2018). "Interview: Betere software met meer vrouwen" (in Dutch). Bits&Chips. Retrieved 26 January 2021.
  9. "Westerdijk-Impuls: Extra inzet voor vrouwelijke hoogleraren" (in Dutch). University of Twente. 8 March 2018. Retrieved 26 January 2021.
  10. David Redeker (2017). "Software verbindt vakgebieden" (PDF). I/O Magazine (in Dutch). IPN (ICT Research Platform Nederland). 14 (4): 18–19. Retrieved 26 January 2021.
  11. Michaela Nesvarova (25 January 2018). "Software is everywhere". U today. Retrieved 26 January 2021.
  12. "Inaugural lecture prof. dr. Marieke Huisman". University of Twente . Retrieved 26 January 2021.
  13. "VERSEN Executive Board". VERSEN. Retrieved 26 January 2021.
  14. Kuipers, Rense (15 July 2020). "Ambassadors' Network looks beyond gender". U today. Retrieved 26 January 2021.
  15. "Marieke Huisman treedt toe tot bestuur" (in Dutch). Stichting Digitaal Burgerschap Nederland. Retrieved 26 January 2021.