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
Lule SchweitzerTrail Sharing in Distributed SAT Solving (bachelor's thesis)N. Rigi-Luperti
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