Jörg Brauer promoviert exzellent


Wir gratulieren unserem Kollegen Jörg Brauer zur ausgezeichneten Promotion an unserem Lehrstuhl! Die Prüfung fand am 25.09.2013 zum Thema Automatic Abstraction for Bit-Vectors using Decision Procedures statt.


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