Dr.-Ing. Thorsten Wißmann

Picture of Thorsten Wißmann
Personal Website:

https://thorsten-wissmann.de

Orcid ID:

0000-0001-8993-6486

List of publications:

BibTeX-Download


Lehrstuhl für Informatik 8 (Theoretische Informatik)
close-button

Categories

Honour Awards
Academy memberships
Scholarships/Grants
Other Awards

Award year

From
To
2021: Promotionspreis (Dissertation Award) Technische Fakultät der Friedrich-Alexander-Universität Erlangen-Nürnberg Thorsten Wißmann 2019: Best Theory Paper Award at FM 2019 3rd World Congress on Formal Methods, FM 2019 Hans-Peter Deifel, Stefan Milius, Lutz Schröder, …