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.


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