Work experience
| |
2021-11 - today | PhD student, Lund University |
2018-07 - 2021-11 | Research Assistant/Teaching Assistant, 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 |
Awards
| |
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 |
Publications
see all my publications here