Work experience

2021-11 - todayPhD student, Lund University
2018-07 - 2021-11Research Assistant/Teaching Assistant, Chemnitz University of Technology

Education

2021-05MSc in Computer Science, Chemnitz University of Technology
2018-07BSc in Computer Science, Chemnitz University of Technology

Awards

2022Best Paper Award at SAT 2022 for the paper "Certified CNF Translations for Pseudo-Boolean Solving"
2021University Award of the Department for Computer Science for the best thesis of the year

Publications

see all my publications here