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
