Expertises
Computer Science
- Consistency Proof
- Data Type
- Axiomatization
- Software Verification
- Specification Language
- Theorem Prover
Organisaties
Publicaties
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
Onderzoeksprofielen
Vakken collegejaar 2025/2026
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.
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3082
Postbus 217
7500 AE Enschede
Scan de QR-code of