====== Jörg Brauer graduated ======

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