Ich bin Wissenschaftler in der "Algorithm Engineering"-Gruppe am Institut für Theoretische Informatik am Karlsruher Institut für Technologie (KIT). Meine Forschung konzentriert sich auf das skalierbare Lösen (meist diskreter) NP-schwieriger Probleme wie SAT-Solving, Planung und Ressourcenzuweisung.
Ausbildung & Beschäftigung
Post-doc am Institut für Theoretische Informatik, Algorithmik II, KIT 2023+ | ||
Promotion am Institut für Theoretische Informatik, Algorithmik II, KIT 2018-2023 | ||
Informatik M.Sc. am KIT, Karlsruhe; Computer Science M.Sc. am ENSIMAG, INP Grenoble 2016-2018 | ||
Softwaretechnik B.Sc. an der Universität Stuttgart 2013-2016 | ||
Grundschule in der Taus und Tausgymnasium, Backnang 2001-2013 |
Aktivitäten
Co-Organisator International Planning Competition, HPlan-Workshop 2023-2024 | ||
Mitglied im Programmkomitee der Konferenzen ICAPS, ECAI 2021+2023, 2024 | ||
Selbstständige universitäre Lehre, v.A. SAT Solving, Automated Planning 2018+ | ||
Lehrer (Nachhilfe, ergänzender Unterricht, Abiturvorbereitung) 2009-2017 | ||
Jugendarbeit: Kursleitung, Ministranten, Jugendzeitung-Redakteur 2010-2016 | ||
Engagement in diversen Chören und in kirchlichen sowie weltlichen Bands 2002-2013, 2023+ |
Interessen
Musik (Gitarre, Ukulele, Klavier, Banjo, Gesang) | ||
Entwicklung kleinerer Open-Source-Projekte | ||
Freie Software und Linux |