- New CS Programme Director!We are very glad to be able to announce the new Programme Director for Computer Science: Vadim Zaytsev
He has been appointed starting 1 May.
Vadim will introduce himself in the next CS information mailing.Read more
- Marielle Stoelinga on UT Campus Talks 29 April - with linkOn Thursday 29 April, at 19:30, Marielle Stoelinga was the online guest on the UT Campus Talks, about cybersecurity, see link https://www.youtube.com/watch?v=FATCSS-6DzwRead more
- New CS Programme Director!
- Marielle Stoelinga on UT Campus Talks 29 April - with link
- Vadim Zaytsev got an IDEA
- Marielle Stoelinga in Atlas (NPO2) 24 March 2021
- Professor Marielle Stoelinga in AG Connect
- Lukas Miedema wins 1st prize VERSEN MSc Thesis Award
- Wytse Oortwijn wins 1st prize VERSEN PhD award
- Prof. dr. Joost-Pieter Katoen appointed member KHMW
- Manfred Paul Award for Vadim Zaytsev
- Start VPV project
- Start SAVES project: SCALABLE VERIFICATION OF INDUSTRIAL EMBEDDED CONTROL SYSTEMS
- Prof. Dr. Joost-Pieter Katoen ACM Fellow 2020