29.06.2023
N. J. Lehmann Preis 2023
Zitat aus dem Newsletter #87 der Fakultät Informatik:
"Lehmann-Preis für hervorragende studentische Abschlussarbeiten im Bereich von Mathematik und Informatik, überreicht von Prof. Karl Hantzschmann Preisträger Informatik: Valentin Roland „A Proof System for Propositional Model Counting“ Betreuer: Prof. Dr. Sebastian Rudolph
Preisträgerin Mathematik: Isabella Käming „Optimization Models for the Computation of Movement Profiles to Produce Thin Layers with Desired Shapes“ Betreuer: Prof. Dr. Andreas Fischer