Personal profile
Education/Academic qualification
Mathematics, Master, Radboud University Nijmegen
1 Sept 2023 → 31 Jul 2025
Computer science, other, Bachelor, Radboud University Nijmegen
1 Sept 2020 → 31 Jul 2023
Mathematics, Bachelor, Radboud University Nijmegen
1 Sept 2020 → 31 Jul 2023
Courses
-
Automata and Formal Languages
Erkens, R., Spronck, M. S. C., Bartels, M., Betancourt Arias, J. S., Liem, E., Keiren, J. J. A., Bloo, R., Škorić, B., den Hartog, J. I. & van de Glind, K. 1/09/24 → 31/08/27
Course
-
Software Specification
Volk, M., Keiren, J. J. A., Bunte, O., Laveaux, M., Liem, E., Erkens, R., van de Glind, K. & Miulescu, M. 1/09/15 → 31/08/27
Course