Curriculum/Vitae
since 2022 Professor at University of Augsburg
2019 - 2022 Assistent Professor at the Technical University of Darmstadt
2014 - 2015 Guestprofessor at the Technical University of Dresden
2012 - 2019 Post-Doc at the Technical University of Berlin
2012 Research Assistent at the University of Uppsala
19.09.2012 Ph.D. Thesis at the Technical University of Berlin
2008 - 2012 Research Assistent at the Technical University of Berlin
2006 - 2008 Research Assistent at the University of Potsdam
Information can also be find at https://orcid.org/ with the ORCID 0000-0002-4281-0074.
Research foci
- Concurrency Theory
- Modelling Languages
- Process Calculi
- Multiparty Session Types
- Quantum-Based Systems
- Interactive Theorem Proving
- Causality
- Distributed Algorithms
- (A)Synchrony and Distributability
- Comparison of Concurrency Formalisms
- Encodability and Separation Results
- Quality of Encodability Criteria
Courses / teaching
name | semester | type |
---|---|---|
Ü07-TI Fr 10:00 | summer semester 2024 | Übung |
Ü06-TI Fr 08:15 | summer semester 2024 | Übung |
Ü02-TI Di 15:45 | summer semester 2024 | Übung |
Ü01-TI Mo 14:00 | summer semester 2024 | Übung |
Offener Inforaum zu Einführung in die Theoretische Informatik | summer semester 2024 | Begleitübung |
Einführung in die Theoretische Informatik | summer semester 2024 | Vorlesung |
Ü04-TI Mi 12:15 | summer semester 2024 | Übung |
Ü03-TI Mi 08:15 | summer semester 2024 | Übung |
Tutorenübung zu Einführung in die Theoretische Informatik | summer semester 2024 | Begleitübung |
Ü05-TI Do 17:30 | summer semester 2024 | Übung |
Ü08-TI Fr 12:15 | summer semester 2024 | Übung |
Globalübung zu Einführung in die Theoretische Informatik | summer semester 2024 | Begleitübung |
Übung zu Einführung in die Theoretische Informatik | summer semester 2024 | Übung |
Ü09-TI Fr 15:45 | summer semester 2024 | Übung |
More information can be found in the course cataloge of the university of Augsburg and in Digicampus.