Marieke Huisman | |
|---|---|
 Marieke Huisman in 2019 | |
| Born | 3 May 1973 |
| Citizenship | Dutch |
| Alma mater | Utrecht University |
| Known for | Software 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]
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]
| Year | Organisation | Award / Honour |
|---|---|---|
| 2013 | Dutch ICT research platform IPN and Netherlands Organisation for Scientific Research | Netherlands Prize for ICT Research |
| 2014 | University of Twente | Professor de Winter Prize |
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.
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.
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.
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.
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.
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.
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.
Nicoline van der Sijs is a Dutch linguist and etymologist who is Professor of Historical Dutch Linguistics at Radboud University Nijmegen.
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.
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.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
