peoplepill id: marijn-heule
MH
3 views today
4 views this week
American computer scientist, known for developing SAT solving proofs to solve mathematical problems
Marijn Heule
Similar people
People also viewed
Ronald Graham
American mathematician (b.1935)
Scott Aaronson
American scientist, working on the field of quantum computing
Stephen Cook
American-Canadian computer scientist
Martin Davis
American mathematician
Yitang Zhang
Chinese-born american mathematician
Yuriy Polyakov
American scientist
Amit Sahai
American cryptographer
Cal Newport
American computer scientist, academic lecturer and writer
Wes McKinney
Statistician, data scientist
Garry Tan
American entrepreneur, co-founder Posterous and Posthaven
Jacob Appelbaum
American computer security researcher, journalist and hacker
Jon Schillaci
American child sex offender and former fugitive
George Yury Right
Fantasy and sci-fi writer, anti-sex proponent
Michael Lynn
Security specialist
Blake Ross
American software engineer and entrepreneur
Daniel Lewin
American-Israeli entrepreneur, killed in the September 11 attacks
Justin Frankel
American computer programmer
Randall Munroe
American cartoonist, author, and engineer: Creator of xkcd
Sean Parker
American entrepreneur, programmer and philanthropist
Adrian Lamo
American hacker and threat analyst
David Karp
American web developer and entrepreneur
Biz Stone
American blogger; co-founder of Twitter
Jonathan Blow
American video game designer
Alex Plank
American activist
Bob Lee
American top manager and businessperson
Marijn Heule