Neuigkeiten

Jörg Brauer erhält den Friedrich-Wilhelm-Preis

Am 25.09.2013 legte Jörg Brauer seine Prüfung am i11 ab und promovierte mit Auszeichnung. Seine Arbeit „Automatic Abstraction for Bit-Vectors using decision procedures“ fand nicht nur den Weg in die zahlreichen Bibliotheken der RWTH, sondern auch in die Hände der Jury für die Verleihung des Friedrich-Wilhelm-Preises 2014. Bei der Vergabe des diesjährigen Preises setzte sich seine Arbeit unter einer Auswahl von exzellenten Dissertationen durch und wurde mit 1000 Euro dotiert. Wir gratulieren unserem ehemaligen Kollegen und freuen uns auf die Verleihung am 28.11.2014. Der Friedrich-Wilhelm-Preis wird jedes Jahr von der Friedrich-Wilhelm-Stiftung für besonders herausragende wissenschaftliche Leistungen verliehen.

 

Dominique Gückel promoviert

promotion_gueckel.jpg promotion_gueckel2.jpg

Wir gratulieren unserem Kollegen Dominique Marcel Gückel zur Promotion an unserem Lehrstuhl! Die Prüfung fand am 15.10.2014 zum Thema Synthesis of State Space Generators for Model Checking Microcontroller Code statt.

 

Was macht ein Dekan?

Diese Frage beantwortete heute Prof. Kowalewski bei der Sendung mit der Maus, die im Rahmen der diesjährigen Erstsemester-Veranstaltung auf dem Talbot-Parkplatz erklärte, wie eine Uni funktioniert.

 

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland