Jörg Brauer graduated


We congratulate Jörg Brauer on his excellent graduation at our chair! His examination on the 25th of September was about Automatic Abstraction for Bit-Vectors using Decision Procedures.


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany