SAtRes    Team    Ruben Götz

Ruben Götz

MSc. Ruben Götz

Doctoral researcher

ruben.goetz@kit.edu

Building 50.34; Room 210
Am Fasanengarten 5
DE-76131 Karlsruhe
Germany

Phone:

rubenGoetz
Google Scholar

Bio

Hello, I am Ruben Götz and I work as a doctoral researcher at the Scalable Automated Reasoning group led by Dominik Schreiber. My Focus is on scalable production and validation of propositional proofs of unsatisfiability, especially those produced by parallel and distributed satisfiability (SAT) solvers.

Research Focus

• Propositional Proofs as Big Data

Publications

See the group publication page.