The chair of Theoretical Computer Science and Theorem Proving is proud to announce that David Schmutz, a bachelor's student who was cosupervised by Prof. Sven Strickroth and Prof. Jasmin Blanchette, has been awarded the Preis der besten Bachelorarbeit des Jahres 2025 im Bereich Bildungstechnologien, awarded by the Fachgruppe Bildungstechnologien der Gesellschaft für Informatik e.V., for his thesis titled "Ein adaptives Lernunterstützungstool für die Chomsky-Normalform". Congratulations! Glückwunsch!