Publications
see all my publications here
Work Experience
| |
|---|
| 2021-11 - today | PhD student, Lund University |
| 2018-07 - 2021-11 | Research Assistant/Teaching Assistant/Tutor, Chemnitz University of Technology |
| |
Education
| |
|---|
| 2021-05 | MSc in Computer Science, Chemnitz University of Technology |
| 2018-07 | BSc in Computer Science, Chemnitz University of Technology |
| 2015 | Abitur, Gymnasium Zschopau |
Awards
| |
|---|
| 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
| |
|---|
| 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) |
| |