Marijn Heule
Associate Professor, Carnegie Mellon University
Marijn Heule is an Associate Professor at Carnegie Mellon University
and received his PhD at Delft University of Technology (2008). His
contributions to automated reasoning have enabled him and others to
solve hard problems in formal verification and mathematics. He has
developed award-winning SAT solvers and his preprocessing and proof-producing techniques are used in many state-of-the-art solvers.
Marijn won multiple best paper awards at international conferences,
including at SAT, CADE, IJCAR, TACAS, HVC, and IJCAI-JAIR. He is one
of the editors of the Handbook of Satisfiability. This 1500+ page
handbook has become the reference for SAT research.