Neuigkeiten

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.

 

ETFA 2014 Best WiP Paper Award

Die Veröffentlichung Applying Static Code Analysis on Industrial Controller Code, welche von Stefan Stattelmann, Sebastian Biallas, Bastian Schlich und Stefan Kowalewski geschrieben wurde, ist auf der 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014) mit dem Best WiP Paper Award ausgezeichnet worden. Die Veröffentlichung beschreibt die Ergebnisse unserer Statischen Analyse für industrielle PLC Programme, die im Verifikations-Werkzeug Arcade.PLC eingesetzt wird, welches am Lehrstuhl 11 für Informatik entwickelt wird.

 

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