Marijn Heule
Dutch computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Marijn Heule?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
Marienus Johannes Hendrikus Heule (born March 12, 1979, at Rijnsburg, The Netherlands)[1][2] 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.
Quick Facts Born, Alma mater ...
Marijn Heule | |
---|---|
Born | (1979-03-12) March 12, 1979 (age 45) |
Alma mater | Delft University of Technology |
Occupation | Associate professor |
Employer | Carnegie Mellon University |
Known for | Using SAT solvers to solve mathematical conjectures |
Website | http://www.cs.cmu.edu/~mheule/ |
Close