- Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
- Research on reliability and correctness of concurrent and distributed software. Try out our verification techniques using the VerCors tool set.
- Lecturer in the Computer Science department of the University of Twente, teaching (concurrent) programming, the use of formal methods, and program verification.
- Chair of the computer science department at the University of Twente
- Winner of the Netherlands Prize for ICT Research 2013, worth 50,000 euros. The ICT Prize is a unique prize for a scientist, aged 40 years or younger, who carries out innovative research or is responsible for a scientific breakthrough in ICT.
- More details on Marieke Huisman's personal webpage: https://wwwhome.ewi.utwente.nl/~marieke/.
For more info about Marieke Huisman on the 'Featured Scientists' page, click below:
Organisations
Ancillary activities
- stichting NLNet labslid Raad van Toezicht
Publications
2025
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems (2025)In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 404-422) (Lecture Notes in Computer Science; Vol. 15280). Springer (E-pub ahead of print/First online). Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-77382-2_23Making ETAPS Gold Open Access (2025)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 487-500) (Lecture Notes in Computer Science; Vol. 15262). Springer. Hermanns, H. & Huisman, M.https://doi.org/10.1007/978-3-031-75778-5_23The VerifyThis Collaborative Long-Term Challenge Series (2025)In TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions (pp. 160-170) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14550 LNCS). Springer. Ahrendt, W., Ernst, G., Herber, P., Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A.https://doi.org/10.1007/978-3-031-67695-6_6
2024
Deductive Verification of SYCL in VerCors (2024)In Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings (pp. 182-199) (Lecture Notes in Computer Science; Vol. 15280). Springer (E-pub ahead of print/First online). Wittingen, E., Huisman, M. & Şakar, Ö.https://doi.org/10.1007/978-3-031-77382-2_11VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)In Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings (pp. 217-236) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15234 LNCS). Springer. Rubbens, R., van den Bos, P. V. & Huisman, M.https://doi.org/10.1007/978-3-031-76554-4_12Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary) (2024)In Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 269-273) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15221 LNCS). Springer. Huisman, M., Merz, S. & Seceleanu, C.https://doi.org/10.1007/978-3-031-75380-0_15SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction (2024)In Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 Proceedings, Part III (pp. 3-7) (Lecture Notes in Computer Science; Vol. 15221). Springer (E-pub ahead of print/First online). Ernst, G., Herber, P., Huisman, M. & Ulbrich, M.https://doi.org/10.1007/978-3-031-75380-0_1Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges (2024)In Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings (pp. 152-169) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14952 LNCS). Springer. van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M.https://doi.org/10.1007/978-3-031-68150-9_9Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)[Dataset Types › Dataset]. Zenodo. Rubbens, R., Huisman, M. & van den Bos, P.https://doi.org/10.5281/zenodo.13348213Artifact for Paper: (Deductive verification of SYCL in VerCors) (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Şakar, Ö., Wittingen, E. & Huisman, M.https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028
Research profiles
Courses academic year 2024/2025
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
- 191211650 - Multi-Disciplinary Design Project
- 192140122 - System Validation
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta ST
- 201500039 - Security Verification
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202100115 - Program Verification
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300219 - System Validation for EngD
- 202400352 - Programming Pearls
- 202400357 - Object-Oriented Programming
Courses academic year 2023/2024
- 191211650 - Multi-Disciplinary Design Project
- 192140122 - System Validation
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201500039 - Security Verification
- 201600017 - Final Project Preparation
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001022 - Pearls of Computer Science Core
- 202001024 - Software Systems Core
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202100115 - Program Verification
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
- 202300186 - Software Systems Core
- 202300188 - Programming Theory & Project
- 202300219 - System Validation for EngD
- 202300339 - Combined Final Project AM/CS
Address
University of Twente
Zilverling (building no. 11), room 3055
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3055
P.O. Box 217
7500 AE Enschede
Netherlands
Organisations
Scan the QR code or
Download vCard
Download vCard