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 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 labs
lid Raad van Toezicht
Publications
Recent
Haak, L. B. V. D., Wijs, A.
, Huisman, M., & Brand, M. V. D. (2024).
HaliVer: Deductive Verification and Scheduling Languages Join Forces. ArXiv.org.
https://doi.org/10.48550/arXiv.2401.10778
Lathouwers, S.
, & Huisman, M. (2024).
Survey of annotation generators for deductive verifiers.
Journal of Systems and Software,
211, Article 111972.
https://doi.org/10.1016/j.jss.2024.111972
Groote, J. F.
, & Huisman, M. (2024).
Formal Methods for Industrial Critical Systems.
International journal on software tools for technology transfer. Advance online publication.
https://doi.org/10.1007/s10009-024-00744-3
Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P.
, & Huisman, M. (2024).
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. In R. Dimitrova, O. Lahav, & S. Wolff (Eds.),
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). Springer.
https://doi.org/10.1007/978-3-031-50521-8_9
Armborst, L.
, Lathouwers, S.
, & Huisman, M. (2024).
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In P. Herber, & A. Wijs (Eds.),
iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). (Lecture Notes in Computer Science; Vol. 14300). Springer.
https://doi.org/10.1007/978-3-031-47705-8_9
Gurov, D., Hähnle, R.
, Huisman, M., Reger, G., & Lidström, C. (2023).
Principles of Contract Languages: Dagstuhl Seminar 22451.
Dagstuhl reports,
12(11), 1-27.
https://doi.org/10.4230/DagRep.12.11.1
Huisman, M., Pasareanu, C., & Zhan, N. (2023).
Introduction to the Special Section on FM 2021.
Formal aspects of computing,
35(2), 1-2. Article 6.
https://doi.org/10.1145/3604594
Huisman, M., & Wijs, A. J. (2023).
Concise Guide to Software Verification: From Model Checking to Annotation Checking. (1 ed.) (Texts in Computer Science). Springer Nature.
https://doi.org/10.1007/978-3-031-30167-4
Starink, J.
, Huisman, M.
, Peter, A.
, & Continella, A. (2023).
Understanding and Measuring Inter-Process Code Injection in Windows Malware. In
Proceedings of the International Conference on Security and Privacy in Communication Networks (SecureComm 2023)
Huisman, M., Păsăreanu, C. S., & Zhan, N. (2023).
Preface for the formal methods in system design special issue on ‘Formal Methods 2021’.
Formal methods in system design,
61, 1-2. Advance online publication.
https://doi.org/10.1007/s10703-023-00438-7
UT Research Information System
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.
Courses Academic Year 2022/2023
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
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3055
P.O. Box 217
7500 AE Enschede
The Netherlands