I work on the VerCors deductive verifier. My interests are programming languages, theorem proving, deductive verification, and separation logic.
Organisations
Publications
2023
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaIn 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). Bliudze, S., Bos, P. v. d., Huisman, M., Rubbens, R. & Safina, L.https://doi.org/10.1007/978-3-031-30826-0_8
2022
On Deductive Verification of an Industrial Concurrent Software Component with VerCorsIn 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). Monti, R. E., Rubbens, R. & Huisman, M.https://doi.org/10.1007/978-3-031-19849-6_29
2021
Modular Transformation of Java Exceptions Modulo ErrorsIn Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84). Springer. Rubbens, R., Lathouwers, S. & Huisman, M.https://doi.org/10.1007/978-3-030-85248-1_5
Research profiles
Affiliated study programs
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
Address
![](https://1348661504.rsc.cdn77.org/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
University of Twente
Zilverling (building no. 11), room 3082
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3082
P.O. Box 217
7500 AE Enschede
Netherlands