Lohrmann-Medaille für Simon Jantsch

Mit der Lohrmann-Medaille werden jedes Jahr die besten Absolventinnen und Absolventen der einzelnen Fakultäten gewürdigt. An unserer Fakultät wurde sie im Rahmen einer feierlichen Veranstaltung im Dezember durch den Rektor Prof. Hans Müller-Steinhagen an den Jahrgangsbesten Simon Jantsch verliehen. 

Simon Jantsch absolvierte seinen Master Computational Logic mit einem Gesamtprädikat von 1,0. Die Annahme seiner Masterarbeit zum Thema „From Linear Temporal Logic to Unambiguous Büchi Automata“ auf einer A-Konferenz zeugt von einer außerordentlich hohen wissenschaftlichen Qualität. 

Model Checking ist ein Verfahren zur automatischen Verifikation von Systemen wie z.B. Computerprogrammen oder eingebetteten Systemen. Gewünschte Systemeigenschaften könnten zum Beispiel sein, dass ein Fehlerzustand nicht erreicht wird oder dass jede gesendete Nachricht auch ihren Empfänger erreicht.

In der Arbeit wird eine neue Methode beschrieben, wie Eigenschaften in linearer Temporallogik in eine für die quantitative Analyse von probabilistischen Systemen geeignete Klasse von Automaten übersetzt werden können. So kann zum Beispiel die Wahrscheinlichkeit, dass ein System nicht abstürzt oder eine Nachricht verloren geht, durch quantitative Analyse ermittelt werden. Solche Eigenschaften sind insbesondere in den aktuellen Forschungsprojekten (z.B. CPEC, CeTI, und QuantLa) von Bedeutung, zu denen die Arbeit ebenfalls einen Beitrag liefert.

Für weitere ausgezeichnete Abschlüsse wurde zudem die Enno-Heidebroek-Urkunde an Richard Mörbitz, Jonas Wielicki, Julian Catoni und Xiaosha Xing verliehen. Wir gratulieren allen Preisträgern.