Biography.guide
Home › People › Computer scientist › Marijn Heule
Portrait of Marijn Heule

Marijn Heule

b. 1979

American computer scientist, known for developing SAT solving proofs to solve mathematical problems

Don't just read it — keep itBiographies to ownE-book · Audio · Video From $7 →

About Marijn Heule

Born 1979. Marijn Heule is an American computer scientist.

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.

Biography shop

Don’t just read it —
keep it.

Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.

  • E-book
  • Audio
  • Video
Browse the shop — from $7

Instant download · yours to keep · every purchase keeps this site free

Important facts

Birth century
Occupation
Nationality
Education
Delft University of Technology
Positions held
Associate professor
Employers
Carnegie Mellon University, University of Texas at Austin
Also known as
Marijn J.H. Heule, Marienus Johannes Hendrikus Heule

People in Marijn Heule's life

Named in this biography and alive at the same time

Contemporaries

People whose lives overlapped Marijn Heule's

Frequently asked questions

Who is Marijn Heule?

American computer scientist, known for developing SAT solving proofs to solve mathematical problems

When was Marijn Heule born?

Marijn Heule was born on 12 March 1979 in Rijnsburg.

What is Marijn Heule's occupation?

Marijn Heule is a computer scientist.

What nationality is Marijn Heule?

Marijn Heule is American.

Sources & further reading

· Wikipedia: Marijn Heule

· Wikidata: Q105954357

· DBpedia: Marijn Heule

Cite this page

APA: Biography.guide. (2026). Marijn Heule. https://biography.guide/marijn-heule/

MLA: "Marijn Heule." Biography.guide, https://biography.guide/marijn-heule/.

Chicago: "Marijn Heule." Biography.guide. https://biography.guide/marijn-heule/.

Data last updated: 2026-09-22 · Spot an error? Report a correction.

Page generated 2026-09-27 05:02 UTC