BIO
Marijn Heule is a Research Assistant Professor at the University of Texas at Austin whose research focuses on major challenges in automated reasoning. Marijn Heule´s current research focusses on two major challenges for SAT solving. The first challenge is the exploitation of the potential of high-performance computing. The second is validating the results of SAT solvers and related tools. His computer-aided solutions of long-standing mathematical problems such as the Pythagorean Triples Problem and the computation of the fifth Schur Number have received substantial media coverage.
In 2018 Marijn Heule, and Benjamin Kiesl and Adrian Rebola-Pardo (PhD students of the FWF-funded doctoral college Logical Methods in Computer Science – LogiCS at TU Wien) received the Best Paper Award at the premier international conference on all topics in automated reasoning, IJCAR 2018 in Oxford, UK. The best paper award recognizes the originality and significance of the awarded paper “Extended Resolution Simulates DRAT”, which for the first time provides a mathematical argument showing that Tseitin’s old system of proof checking was actually already powerful enough to do everything that can be done by modern approaches. The paper finally bridges the gap between proofs of the present and of the past, thereby helping the humans to actually better understand computer-generated proofs.