I am a computer science researcher pursuing a PhD (Dr. rer. nat.) at the Algorithm Engineering group at the Institute of Theoretical Informatics @ Karlsruhe Institute of Technology. Together with my PhD advisor Peter Sanders, our research focuses on scalable distributed algorithms, high-performance SAT solving, and SAT-driven AI planning. I have contributed to top-tier venues such as IJCAI, ICAPS, JAIR, and SAT. The open-source solutions I develop in the scope of my research have won several awards at international competitive events; most notably, I am the author of the currently best performing large-scale SAT solving platform (scaling from dozens to thousands of cores).
Professional
PhD studies at the Institute of Theoretical Informatics, Algorithmics II, KIT 2018-? | ||
Computer Science M.Sc. at KIT, Karlsruhe and at ENSIMAG, INP Grenoble 2016-2018 | ||
Software Engineering B.Sc. at University of Stuttgart 2013-2016 | ||
"Taus" primary & secondary school, Backnang 2001-2013 |
Activities
Instructor of intensive courses in mathematics preparing for the Abitur 2016-2017 | ||
Cath. youth work: Servants, course instruction, editor of the Sakristei youth journal 2010-2016 | ||
Part of various choirs and music groups 2002-2013 | ||
Programming and software development for little open source projects |
Interests
Music (guitar, ukulele, piano, banjo, vocals) | ||
Alpine skiing | ||
Free Software and Linux | ||
Chess |