Prizes
- 21 results
Search results
-
2018 Best Practices in Education Award
Mader, A. H. (Recipient), Fehnker, A. (Recipient) & Schaafstal, A. M. (Recipient), 9 Oct 2018
Prize
-
Alice & Eve: a celebration of women in computing
Huisman, M. (Recipient) & Stoelinga, M. I. A. (Recipient), 25 Oct 2024
Prize
-
Beste paper award
van Keulen, M. (Recipient), Kaminski, B. (Recipient), Matheja, C. (Recipient) & Katoen, J. P. (Recipient), 4 Oct 2018
Prize
-
Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods
Nicoletti, S. M. (Recipient), Lopuhaä - Zwakenberg, M. A. (Recipient), Hahn, E. M. (Recipient) & Stoelinga, M. I. A. (Recipient), 10 Nov 2023
Prize
File -
Best Paper Award SPIN 2017
Oortwijn, W. H. M. (Recipient), van Dijk, T. (Recipient) & van de Pol, J. (Recipient), 14 Jul 2017
Prize: Honorary award
-
Best Student Paper Award
Bloemen, V. (Recipient), van Zelst, S. (Recipient), van der Aalst, W. (Recipient), van Dongen, B. (Recipient) & van de Pol, J. (Recipient), 2018
Prize
-
-
File
-
FMICS'23 Best Paper Award
van der Wal, D. (Recipient), Stoelinga, M. I. A. (Recipient) & Gerhold, M. (Recipient), 20 Jul 2023
Prize
-
FORTE 2023 Best artefact
van den Bos, P. (Recipient) & Stoelinga, M. I. A. (Recipient), 30 Jun 2022
Prize
-
IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice
Zaytsev, V. (Recipient), 22 Dec 2020
Prize: Honorary award
-
KHMW Internetscriptieprijs 2019 Internet en Technische wetenschappen
Lathouwers, S. A. M. (Recipient), 2019
Prize
-
KNVI Scriptieprijs voor Informatica en Informatiekunde (2e plaats)
Lathouwers, S. A. M. (Recipient), 2019
Prize
-
SPIN 2025 Best paper award
Dong, Y. (Recipient), Lopuhaä - Zwakenberg, M. A. (Recipient) & Stoelinga, M. I. A. (Recipient), 8 May 2025
Prize
-
-
-
-
VerifyThis 2024: Best Student Team (2nd place)
Bos, P. (Recipient) & Stekelenburg, A. (Recipient), 8 Apr 2024
Prize