News
Ruben Götz joins the groupRuben Götz joins the group
February 1, 2026
We are delighted to welcome Ruben Götz as a doctoral researcher in the SAtRes group.
Ruben Götz has studied computer science at KIT. After working on memory-efficient distributed clause-sharing solving in his master’s thesis, he now joins the SAtRes group to research massively parallel production and checking of unsatisfiability proofs in the context of our DFG project “Propositional Proofs as Big Data”.