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
bestuurslid
Publications
Recent
Armborst, L.
, Lathouwers, S.
, & Huisman, M. (2023).
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. In
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).
https://doi.org/10.1007/978-3-031-47705-8_9
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. Advance online publication.
https://doi.org/10.1007/s10703-023-00438-7
Lathouwers, S. (2023).
Exploring annotations for deductive verification. [PhD Thesis - Research UT, graduation UT, University of Twente]. University of Twente.
https://doi.org/10.3990/1.9789036558464
Huisman, M., & Ravara, A. (2023).
Preface. In M. Huisman, & A. Ravara (Eds.),
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings (pp. vii-viii). (Lecture Notes in Computer Science; Vol. 13910). Springer.
https://doi.org/10.1007/978-3-031-35355-0
Huisman, M. (2023).
ETAPS Foreword. In
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. v-vi). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13992).
Huisman, M. (2023).
A reply: On the need for program contracts.
Journal of cross-disciplinary research in computational law,
1(3), 19-20.
https://journalcrcl.org/crcl/article/view/19/13
Bliudze, S., Bos, P. V. D.
, Huisman, M.
, Rubbens, R., & Safina, L. (2023).
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. In L. Lambers, & S. Uchitel (Eds.),
Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. 143-150)
https://doi.org/10.1007/978-3-031-30826-0_8
Huisman, M., & Seceleanu, C. (2022).
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 417-421). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer.
https://doi.org/10.1007/978-3-031-19849-6_24
Ahrendt, W., Herber, P.
, Huisman, M., & Ulbrich, M. (2022).
SpecifyThis – Bridging Gaps Between Program Specification Paradigms. In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 3-6). (Lecture Notes in Computer Science; Vol. 13701). Springer.
https://doi.org/10.1007/978-3-031-19849-6_1
Monti, R. E.
, Rubbens, R.
, & Huisman, M. (2022).
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. In T. Margaria, & B. Steffen (Eds.),
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (pp. 517-534)
https://doi.org/10.1007/978-3-031-19849-6_29
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