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
Jonathan DransfeldPerformance engineering: Proof checkingD. Schreiber
Oguz MutluSoftware engineering: Bounded Model CheckingD. Schreiber

Bachelor / Master Students

NameTopicSupervisor
Eliane v. GregoryDistributed Branch-and-bound (bachelor's thesis)D. Schreiber
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