Wednesday 17 June 2026
We congratulate Philip with his well deserved Doctor title, which he obtained last Friday 12 June.
Here's how it was announced on the UT website: From planes to power plants, embedded systems are controlling vital functions of our society. 99% of all globally produced microcontrollers are used in embedded applications. The safety-critical nature and prevalence of these applications demand that their correctness and safety should be rigorously verified.
Read more here: PhD Defence Philip Ben Heinrich Tasche | Deductive Verification Techniques for Embedded Systems
More recent news
Thu 9 Jul 2026Dutch national Cyber Security Council (Cyber Security Raad, CSR) advises government to take additional measures to ensure continuity of vital infrastructures
Wed 1 Jul 2026Chong Wang successfully defended her PhD thesis
Tue 30 Jun 202629 June: Joost-Pieter Katoen awarded KHMW Langerhuizen Lifetime Achievement Award 2026
Mon 22 Jun 2026Project: Securing Closed-Source Software in Society-Critical Systems
Sat 13 Jun 2026ASPIRE: New NWO-WEAVE project on subjective sports data experiences