prof.dr. M. Huisman (Marieke)

Full Professor

About Me

  • 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 Informatics Board of the Lorentz Center in Leiden.
  • Chair of the Dutch National Association for Software Engineering VERSEN.
  • 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.

For more info about Marieke Huisman on the 'Featured Scientists' page, click below:


Formal Methods
Formal Verification
Safety-Critical Systems


Huisman, M. , & Monti, R. E. (2022). Teaching Design by Contract Using Snap! In W. Ahrendt, B. Beckert, R. Bubel, & E. B. Johnsen (Eds.), The Logic of Software: A Tasting Menu of Formal Methods (1 ed., pp. 243–263). (Lecture Notes in Computer Science; Vol. 13360). Springer. https://doi.org/10.1007/978-3-031-08166-8_12
Lathouwers, S. , & Huisman, M. (2022). Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. In Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022 (pp. 69-79). [9796417] IEEE/EUCA. https://doi.org/10.1145/3524482.3527652
Şakar, Ö. , Safari, M. , Huisman, M., & Wijs, A. (2022). Alpinist: An Annotation-Aware GPU Program Optimizer. In D. Fisman, & G. Rosu (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II (pp. 332–352). (Lecture Notes in Computer Science; Vol. 13244). Springer. https://doi.org/10.1007/978-3-030-99527-0_18
Huisman, M., Păsăreanu, C., & Zhan, N. (2021). Preface. In 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings (Vol. 13047 LNCS, pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Safari, M. , Oortwijn, W. , & Huisman, M. (2021). Automated Verification of the Parallel Bellman–Ford Algorithm. In C. Drăgoi, S. Mukherjee, & K. Namjoshi (Eds.), Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (pp. 346-358). (Lecture Notes in Computer Science; Vol. 12913). Springer. https://doi.org/10.1007/978-3-030-88806-0_17
Huisman, M. , & Monti, R. E. (2021). Teaching Design by Contract using Snap! In Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021 (pp. 1-5). [9474640] IEEE. https://doi.org/10.1109/SEENG53126.2021.00007
Monteiro, S., Sokolovas, E., Wittingen, E. , Dijk, T. V. , & Huisman, M. (2021). IntelliJML: A JML plugin for IntelliJ IDEA. In D. R. Cok (Ed.), FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39-42). Association for Computing Machinery (ACM). https://doi.org/10.1145/3464971.3468423
Rubbens, R. , Lathouwers, S. , & Huisman, M. (2021). Modular Transformation of Java Exceptions Modulo Errors. In A. Lluch Lafuente, & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84). (Lecture notes in computer science; Vol. 12863). Springer. https://doi.org/10.1007/978-3-030-85248-1_5

UT Research Information System

Courses Academic Year  2022/2023

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  2021/2022

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3055
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3055
P.O. Box 217
7500 AE Enschede
The Netherlands