Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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.