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. Provided by Wikipedia
1