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.
Berufliches
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
Kursleitung von Mathematik-Intensivkursen zur Abiturvorbereitung 2016-2017 | ||
Kath. Jugendarbeit: Ministranten, Kursleitung, Jugendzeitung-Redakteur bei der Sakristei 2010-2016 | ||
Engagement in diversen Chören und in kirchlichen sowie weltlichen Bands 2002-2013 | ||
Programmierung und Softwareentwicklung im Rahmen kleinerer Open-Source-Projekte |
Interessen
Musik (Gitarre, Ukulele, Klavier, Banjo, Gesang) | ||
Alpines Skifahren | ||
Freie Software und Linux | ||
Schach |