Dr. rer. nat. Dominik P. Schreiber

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