Fresh DR Philip Tasche!

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