« zurück

Erfolgreiche Verteidigung der Dissertation

Dr. Judith Peters

Dr. Judith Peters hat ihre Promotion „Exploiting MARTE/CCSL in Modern Design Flows“ erfolgreich verteidigt.

Dr. Judith Peters beschäftigte sich mit der Spezifikation und Verifikation des Timing-Verhaltens in komplexen Systemen. Sie entwickelte Methoden, mit denen sich verschiede Taktgeber (so genannte „Clocks“) eines System konkret auf ihre Korrektheit prüfen und effizient umsetzen lassen. Ihre Arbeiten wurden unter anderem auf der renommierten Design Automation Conference vorgestellt.
Wir gratulieren!