Friday 7 November 2025
Freark van der Berg will defend his thesis 'DMC Model Checker - Delta-Driven Variable-Length Next-State Generation via Recursive Compression' this afternoon at 14:30 in Waaier 4. For more info, see the UT webpages.
More recent news
Thu 8 Jan 202620-23 January: CYCLIC Winter School, hosted at the UT
Thu 18 Dec 2025Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
Tue 9 Dec 2025Papers of the Month: December 2025
Thu 4 Dec 2025Florian Bonensteffen will defend his thesis on Friday 5 December
Thu 4 Dec 2025Faizan Ahmed wins the Educational Cake Inter-Actief
