- 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
2024
Survey of annotation generators for deductive verifiers, Article 111972. Lathouwers, S. & Huisman, M.https://doi.org/10.1016/j.jss.2024.111972First Steps towards Deductive Verification of LLVM IRIn Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (pp. 290-303). Oorschot, D. v., Huisman, M. & Şakar, Ö.https://doi.org/10.1007/978-3-031-57259-3_15HaliVer: Deductive Verification and Scheduling Languages Join ForcesIn Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings (pp. 71-89). Haak, L. B. v. d., Wijs, A., Huisman, M. & Brand, M. v. d.https://doi.org/10.1007/978-3-031-57256-2_4Formal Methods for Industrial Critical Systems, 127-129. Groote, J. F. & Huisman, M.https://doi.org/10.1007/s10009-024-00744-3HaliVer: Deductive Verification and Scheduling Languages Join Forces. ArXiv.org. Haak, L. B. v. d., Wijs, A., Huisman, M. & Brand, M. v. d.https://doi.org/10.48550/arXiv.2401.10778Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic TranslationIn iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). Springer. Armborst, L., Lathouwers, S. & Huisman, M.https://doi.org/10.1007/978-3-031-47705-8_9Deductive Verification of Parameterized Embedded Systems Modeled in SystemCIn Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209). Springer. Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-50521-8_9ETAPS ForewordIn Foundations of software science and computation structures: 27th International Conference, FoSSaCS 2024; Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024. Proceedings, Part II (pp. v-vi). Springer Nature. Huisman, M.https://doi.org/10.1007/978-3-031-57231-9
2023
Exploring annotations for deductive verification. University of Twente. Lathouwers, S.https://doi.org/10.3990/1.9789036558464Preface for the formal methods in system design special issue on ‘Formal Methods 2021’, 1-2 (E-pub ahead of print/First online). Huisman, M., Păsăreanu, C. S. & Zhan, N.https://doi.org/10.1007/s10703-023-00438-7
Research profiles
Courses academic year 2023/2024
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 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
Courses academic year 2022/2023
- 191211650 - Multi-Disciplinary Design Project
- 192140122 - System Validation
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Master Thesis SEC Computer Science
- 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
- 202100340 - Combined Final Project EE/S&C
- 202200251 - Capita Selecta DST
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
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