SAtRes    Team

Team

Dominik Schreiber

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

Researchers

Niccolò Rigi-Luperti

niccolo.rigi-luperti@kit.edu
Office: 210 in 50.34

We have open student minijob positions - please approach us!


Student Assistants

NameTopicSupervisor
Valentin SchenkCompression of propositional modelsD. Schreiber, Markus Iser
Jonathan DransfeldSoftware engineeringD. Schreiber
Oguz MutluSoftware engineeringD. Schreiber

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