Short CV

Awards

11/2021: 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.

05/2023: ICSE 2023 (45th International Conference on Software Engineering) in Melbourne, Australia on Generic Partition Refinement and Weighted Tree Automata (slides)
02/2023: LMW 2023 @ CSL 23 (Logic Mentoring Workshop 2023) in Warsaw, Poland on Introduction to Coalgebra (slides)

01/2023 — Now: Researcher at the chair of theoretical computer science, FAU Erlangen-Nürnberg, Germany
03/2021 — 12/2022: 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 of 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