Over mij
- 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:
Verbonden aan
Nevenactiviteiten
-
stichting NLNet labs
lid Raad van Toezicht
Publicaties
Recent
Huisman, M. (2024).
ETAPS Foreword. In N. Kobayashi, & J. Worrell (Eds.),
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). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14575). Springer Nature.
https://doi.org/10.1007/978-3-031-57231-9
Haak, L. B. V. D., Wijs, A.
, Huisman, M., & Brand, M. V. D. (2024).
HaliVer: Deductive Verification and Scheduling Languages Join Forces. In
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)
https://doi.org/10.1007/978-3-031-57256-2_4
Oorschot, D. V.
, Huisman, M., & Şakar, Ö. (2024).
First Steps towards Deductive Verification of LLVM IR. In
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). (Lecture Notes in Computer Science; Vol. 14573).
https://doi.org/10.1007/978-3-031-57259-3_15
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,
26(2), 127-129.
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
Pure Link
Vakken Collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
Vakken Collegejaar 2022/2023
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3055
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3055
Postbus 217
7500 AE Enschede