In December 2022, the Heinz Schwärtzel Dissertation Prize for Fundamentals in Computer Science was awarded for the 17th time.
Further information can be found at here
We congratulate! Manuel Eberl received the prize for his outstanding dissertation entitled "Asymptotic Reasoning in a Proof Assistant".
In December 2022, the Heinz Schwärtzel Dissertation Prize for Fundamentals in Computer Science was awarded for the 17th time.
Further information can be found at here