Thomas Gerlitz received his doctor's degree

We are congratulating our colleague Thomas Gerlitz on receiving his doctor's degree at our department! The examination took place on May 29th 2017 and the topic was Incremental Integration and Static Analysis of Model-Based Automotive Software Artifacts.