Research Associate |
May 2023 - Now |
| TU Dresden, Dresden | |
Formal Verification Intern |
March 2022 - October 2022 |
| Apple, Munich | |
Data Analytics Intern |
March 2021 - September 2021 |
| Munich Re, Munich | |
Research & Teaching Assistant |
April 2019 - March 2021 |
| Technical University of Munich, Munich | |
Software Engineering Intern |
February 2019 - April 2019 |
| iteratec GmbH, Munich | |
Ph.D. in Theoretical Computer Science |
May 2023 - Now |
| TU Dresden, Dresden | |
M.Sc. Computer Science |
April 2020 - March 2023 |
| Technical University of Munich, Munich | |
Erasmus+ Exchange |
August 2018 - January 2019 |
| KTH Stockholm, Stockholm | |
B.Sc. Computer Science |
October 2016 - March 2020 |
| Technical University of Munich, Munich | |