Prof.dr. M. Huisman | People pages: Vind een medewerker en alle contactgegevens

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:

Organisaties

Nevenwerkzaakheden

stichting NLNet labslid Raad van Toezicht

Publicaties

2024

[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v2Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)[Dataset Types › Dataset]. Zenodo. Rubbens, R., Huisman, M. & van den Bos, P.https://doi.org/10.5281/zenodo.13348213Artifact for Paper: (Deductive verification of SYCL in VerCors) (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Şakar, Ö., Wittingen, E. & Huisman, M.https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1aSurvey of annotation generators for deductive verifiers (2024)The Journal of systems and software, 211. Article 111972. Lathouwers, S. & Huisman, M.https://doi.org/10.1016/j.jss.2024.111972Artifact to supplement the paper: The VerCors Verifier: a Progress Report (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Armborst, L., Bos, P., van den Haak, L., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P.https://doi.org/10.4121/a5f97e07-9f84-4223-b581-6d2606fe07baFirst Steps towards Deductive Verification of LLVM IR (2024)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). Oorschot, D. v., Huisman, M. & Şakar, Ö.https://doi.org/10.1007/978-3-031-57259-3_15HaliVer: Deductive Verification and Scheduling Languages Join Forces (2024)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). Haak, L. B. v. d., Wijs, A., Huisman, M. & Brand, M. v. d.https://doi.org/10.1007/978-3-031-57256-2_4Formal Methods for Industrial Critical Systems (2024)International journal on software tools for technology transfer, 26(2), 127-129. Groote, J. F. & Huisman, M.https://doi.org/10.1007/s10009-024-00744-3Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Rubbens, R., Safina, L., Huisman, M., Bliudze, S. & van den Bos, P.https://doi.org/10.4121/21763274

Onderzoeksprofielen

Vakken collegejaar 2024/2025

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 2023/2024

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 3055
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie