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. ...

account creation

TO READ THIS ARTICLE, CREATE YOUR ACCOUNT

And extend your reading, free of charge and with no commitment.