SAtRes    Team

Team

Dominik Schreiber

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

Researchers

Ruben Götz

ruben.goetz@kit.edu
Office: 210 in 50.34

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
Anna GörthSoftware engineering: SAT preprocessingD. 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