Thorsten Wißmann
{Thorsten Wi{\ss}mann}

Awards

11/2021

ATE Dissertation Award at the Faculty of Engineering.

06/2021

Nomination for the Best Paper Award for CONCUR2021 for the paper Explaining Behavioural Inequivalence Generically in Quasilinear Time

10/2019

Best Theory Paper Award for the paper Generic Partition Refinement and Weighted Tree Automata at the 3rd World Congress on Formal Methods (FM’19) in Porto, Portugal

03/2015

ASQF Award for my master studies and master thesis.

Short CV

03/2021 — Now

Researcher at the Department of Software Science, Radboud University Nijmegen, the Netherlands

02/2018 — 04/2018

Invited research visit at the ERATO MMSD Project, National Institute of Informatics, Tokyo, Japan

05/2015 — 06/2020

PhD in Theoretical Comuter Science (Dr.-Ing.), supervised by Stefan Milius, FAU Erlangen-Nürnberg, Germany

05/2015 — 03/2021

Researcher (Wissenschaftlicher Mitarbeiter) at the chair for theoretical computer science, FAU Erlangen-Nürnberg, Germany

10/2014 — 02/2015

Summer Research Scholarship, Australian National University, Canberra, Australia

04/2013 — 04/2015

Studies in Computer Science, Master of Science, FAU Erlangen-Nürnberg, Germany

10/2009 — 03/2013

Studies in Computer Science, Bachelor of Science, FAU Erlangen-Nürnberg, Germany