SAtRes    Team

Team

Dominik Schreiber

dominik.schreiber@kit.edu
Office: 208 in 50.34
Phone: +49 721 608-44232

Researchers

Coming soon – this group is still in an early set-up phase.
We have an open researcher position and open student minijob positions - please approach us!


Student Assistants

NameTopicSupervisor
Valentin SchenkCompression of propositional modelsD. Schreiber, Markus Iser

Bachelor / Master Students

NameTopicSupervisor
Michael DörrParallel & distributed proofs of unsatisfiability (master's thesis)D. Schreiber
Ruben GötzMemory-efficient hybrid parallelization of SAT (master's thesis)D. Schreiber
Jannik WestenfelderShared-memory parallel uniform task scheduling (master's thesis)D. Schreiber, Nikolai Maas