====== Jörg Brauer promoviert exzellent ======

{{ :lehrstuhl:neuigkeiten:promotion_jb.png?550 |}}
\\
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.