Zwei Auszeichnungen für exzellente Abschlussarbeiten
Gleich zwei Forschende des Barkhausen Instituts wurden für ihre herausragenden Abschlussarbeiten in der Informatik ausgezeichnet: Max Kurze und Marcus Rossel erhielten renommierte Preise für ihre Diplom- bzw. Masterarbeit.
Max Kurze mit dem 3m5 Thesis Award geehrt
Für seine Diplomarbeit „A Framework for Modular and Compositional Reasoning in Kôika“ erhielt Max Kurze den 3m5 Thesis Award in Höhe von 1.500 €. Die mit der Bestnote 1,0 bewertete Arbeit entstand unter der Betreuung von Dr.-Ing. Sebastian Ertel vom Barkhausen Institut in Dresden. Max’ Beitrag stärkt das Feld der formalen Verifikation im Hardwaredesign – einer zentralen Disziplin für digitale Souveränität und sichere Chipentwicklung.
Er erweiterte die Sprache Kôika um Funktionen für fortgeschrittene logische Schlussfolgerungen, etwa typisierte Parser und eine Hoare-Logik. Besonders hervorzuheben ist sein formaler Nachweis zur Korrektheit des Compilers nach Änderungen an der Sprachsemantik – eine Leistung, die weit über das übliche Niveau einer Abschlussarbeit hinausgeht. Seine Implementierung im Rocq Prover ist technisch ausgereift und bietet ein solides Fundament für weiterführende Forschung.
Marcus Rossel erhält Preis der N.-J. Lehmann-Stiftung
Für seine Masterarbeit „An Equality Saturation Tactic for Lean“ wurde Marcus Rossel mit dem Preis der N.-J. Lehmann-Stiftung ausgezeichnet – dotiert mit 2.000 € und bewertet mit der Note 1,0. Er entwickelte eine Taktik zur Automatisierung äquivalenzbasierter Beweisschritte im Theorembeweiser Lean. Damit senkt er die Einstiegshürde für Nutzer:innen und ermöglicht deutlich effizientere Beweise.
Die Arbeit basiert auf aktuellen Forschungen, unter anderem vorgestellt auf der POPL-Konferenz, und erforderte fundierte Kenntnisse in Gleichheitssättigung, Typentheorie sowie im Metaprogrammier-Framework von Lean. Durch Funktionen wie bedingtes Umschreiben und die Einbindung von Typklassen ist seine Lösung besonders praxisnah und nützlich für die Lean-Community.
Wir gratulieren beiden Preisträgern herzlich und freuen uns auf ihre zukünftigen Beiträge zu vertrauenswürdiger, zukunftsweisender Informatik.
Wir gratulieren beiden Preisträgern herzlich und freuen uns auf ihre zukünftigen Beiträge zu vertrauenswürdiger, zukunftsweisender Informatik!