News

Informatiker um Prof. Matthias Tichy, Leiter des Instituts für Programmiermethodik und Compilerbau, arbeiten an einem zuverlässigen "Qualitätscheck" für Software während der Entwicklung. Das Ziel: Die Schnelligkeit und Zuverlässigkeit technischer Systeme sollen gewährleistet und gefährliche Fehler vermieden werden. Das Projekt ENSURE, das Tichy gemeinsam mit Prof. Lars Grunske (HU Berlin) durchführt, wird von der DFG mit insgesamt 600 000 Euro gefördert.