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.