Prof.dr. M. Huisman | People Pages: Find employees & contact details

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
Netherlands Academy of Engineeringboard member Netherlands Academy of Engineering

Publications

2025

Making 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_23Artefact of: Verified Parameterized Choreographies (2025)[Dataset Types › Dataset]. Zenodo. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.5281/zenodo.15223434Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025)[Dataset Types › Dataset]. Zenodo. Lingsch-Rosenfeld, M., Beyer, D., Huisman, M. & Armborst, L.https://doi.org/10.5281/zenodo.15199589Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025)[Dataset Types › Dataset]. Zenodo. Lingsch-Rosenfeld, M., Beyer, D., Huisman, M. & Armborst, L.https://doi.org/10.5281/zenodo.14883218Artefact of: Verified Parameterized Choreographies (2025)[Dataset Types › Dataset]. Zenodo. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.5281/zenodo.14900264Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings (2025)[Book/Report › Book editing]. Springer. Huisman, M. & Howar, F.https://doi.org/10.1007/978-3-031-72044-4The 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

Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems (2024)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. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-77382-2_23Deductive 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. 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_12

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.

Courses academic year 2023/2024

Address

University of Twente

Zilverling (building no. 11), room 3055
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location