Award1020
Aus International Center for Computational Logic
N. J. Lehmann Award
Stefan Borgwardt received the N. J. Lehmann Award of the TU Dresden for his Diploma thesis on 'The Infimum Problem as a Generalization of the Inclusion Problem for Automata'. Here is a picture of the award ceremony.