RWTH-Ehrendoktorwürde für Christel Baier und Ralf Steinmetz

  - RWTH-Rektor Ulrich Rüdiger zeichnete jetzt Professorin Christel Baier von der Technischen Universität Dresden und Ralf Steinmetz von der Technischen Universität Darmstadt mit dem akademischen Grad und der Würde eines ,,Doktors der Naturwissenschaften Ehren halber" aus. Die Verleihungen erfolgten im Rahmen der Feierlichkeiten zu 50 Jahre Informatik an der RWTH Aachen. Christel Baier ist seit 2006 Inhaberin des Lehrstuhls für Algebraische und Logische Grundlagen der Informatik an der TU Dresden und forscht weltweit führend auf dem Gebiet der Formalen Methoden. Die Informatikerin verband - bekannt unter dem Begriff Model Checking - Systemmodelle mit Konzepten der Logik, der Automatenund der Graphentheorie. So kann nachgewiesen werden, dass ein Computersystem die Anforderungen hinsichtlich Sicherheit und Leistungsvermögen erfüllt. In den 1990er Jahren leistete die RWTH-Ehrendoktorin bereits Pionierarbeit auf einem Forschungsgebiet, das heute als Probabilistic Model Checking, kurz PMC, geläufig ist. Hier wird das Verhalten von Systemen und deren Umgebungen durch Wahrscheinlichkeiten beschrieben.