Publications
see all my publications here
Work Experience
| |
|---|
| 2021-11 - 2026-08 | PhD student, Lund University |
| 2018-07 - 2021-11 | Research Assistant/Teaching Assistant/Tutor, University of Technology Chemnitz |
| |
Education
| |
|---|
| 2026-05 | PhD in Computer Science, Lund University |
| 2025-11 | Licentiate in Computer Science, Lund University |
| 2021-05 | MSc in Computer Science, University of Technology Chemnitz |
| 2018-07 | BSc in Computer Science, University of Technology Chemnitz |
| 2015 | Abitur, Gymnasium Zschopau |
Awards
| |
|---|
| 2025 | Distinguished Reviewer Award at TACAS 2025 for artifact reviewing |
| 2025 | Best Poster Award at WASP Winter Conference 2025 |
| 2024 | 2nd Place Main Track SAT at SAT Competition 2024 |
| 2023 | Special Prize at SAT Competition 2023 |
| 2022 | Best Paper Award at SAT 2022 for the paper "Certified CNF Translations for Pseudo-Boolean Solving" |
| 2021 | University Award of the Department for Computer Science for the best thesis of the year |
| |
Research Visits
| |
|---|
| 2025-05 | Markus Anders and Bart Bogaerts at KU Leuven, Belgium |
| 2023-11 | Ambros Gleixner and Alexander Hoen at Zuse Institute Berlin, Germany |
| 2023-10 | Armin Biere and Tobias Paxian at University of Freiburg, Germany |
| 2023-03 - 2023-05 | 2 month research program “Extended Reunion: Satisfiability” at Simons Institute for the Theory of Computing, UC Berkeley |
| 2019-11 | UFRGS Porto Alegre, Brazil, funded by German Academic Exchange Service (DAAD) |
| |
| |
|---|
| 2017 - 2021 | Organizer of Chemnitzer Spielenacht (tabletop game event) |
| |