Im Dezember 2022 wurde zum 17. Mal der Heinz Schwärtzel-Dissertationspreis für Grundlagen in der Informatik verliehen.
Nähere Informationen sind hier zu finden.
Wir gratulieren! Manuel Eberl erhielt den Preis für seine herausragende Dissertation mit dem Titel "Asymptotic Reasoning in a Proof Assistant".
Im Dezember 2022 wurde zum 17. Mal der Heinz Schwärtzel-Dissertationspreis für Grundlagen in der Informatik verliehen.
Nähere Informationen sind hier zu finden.