Our lecture “Verification” won the Busy Beaver award for the best core lecture in the summer term 2025 . The Busy Beaver award, presented by the student council, recognizes outstanding teaching at Saarland University.