Expertise
Computer Science
- Consistency Proof
- Data Type
- Axiomatization
- Software Verification
- Specification Language
- Theorem Prover
Organisations
Publications
2026
Consistency Proofs for Axiomatic Extensions: Translating VerCors’ Axiomatic Data Types Into Isabelle (2026)In Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings (pp. 80-97) (Lecture Notes in Computer Science; Vol. 16967). Springer (E-pub ahead of print/First online). Putti, E. & Stekelenburg, A.https://doi.org/10.1007/978-3-032-36849-2_5
2024
Progress Measures and Tangle Learning algorithm implementation and benchmarks (2024)[Dataset Types › Dataset]. Zenodo. Stekelenburg, A. & van Dijk, T.https://doi.org/10.5281/zenodo.10558315
Research profiles
Courses academic year 2025/2026
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.
Address
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
Scan the QR code or