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
Fri 5 Dec 2025The paper 'Semantically Coherent Business Architecture Models: Integrating Capabilities, Value Streams, and Business Objects' has won the Best Forum Paper Award
Thu 4 Dec 2025Florian Bonensteffen will defend his thesis on Friday 5 December
Thu 4 Dec 2025Faizan Ahmed wins the Educational Cake Inter-Actief
Wed 26 Nov 2025NWO Diversity & Inclusion Initiative Award 2025 for Alice & Eve
Mon 24 Nov 2025Valentijn Hol won KHMW Young Talent Master thesis Award for Computer Science
