Dr. rer. nat. Dominik P. Schreiber
Ich bin Nachwuchsgruppenleiter der "Scalable Automated Reasoning"-Gruppe am Institut für Informationssicherheit und Verlässlichkeit (KASTEL) am Karlsruher Institut für Technologie (KIT). Meine Forschung konzentriert sich auf das skalierbare Lösen NP-schwieriger Probleme wie SAT-Solving, Planung und Ressourcenzuweisung.
Ausbildung & Beschäftigung
| Post-doc am Institut für Theoretische Informatik, Algorithm Engineering, KIT 2023-2024 | ||
| 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 |
