Marijn Heule

Marienus Johannes Hendrikus Heule (born March 12, 1979, at Rijnsburg, The Netherlands) is a Dutch computer scientist at Carnegie Mellon University who studies SAT solvers. Heule has used these solvers to resolve mathematical conjectures such as the Boolean Pythagorean triples problem, Schur's theorem number 5, and Keller's conjecture in dimension seven.

Career Heule received a PhD at Delft University of Technology, in the Netherlands, in 2008. He was a research scientist, later a research assistant professor, at the University of Texas at Austin from 2012 to 2019. Since 2019, he has been an associate professor in the Computer Science Department at Carnegie Mellon University. The statement of the theorem they proved ismath theorem|The set {1. . . , 7824} can be partitioned into two parts, such that no part contains a Pythagorean triple, while this is impossible for {1. . . , 7825}. where it won the best paper award. He proved Keller's conjecture in dimension seven in 2020.

In 2018, Heule and Scott Aaronson received funding from the National Science Foundation to apply SAT solving to the Collatz conjecture.