Marijn Heule

Associate Professor, Carnegie Mellon University

Marijn Heule is an Associate Professor at Carnegie Mellon University. His research focuses on solving hard-combinatorial problems in areas such as formal verification, number theory, and extreme combinatorics. Most of his contributions are related to theory and practice of satisfiability (SAT) solving. Marijn has developed award-winning SAT solvers, and his preprocessing techniques are used in state-of-the-art SAT solvers.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist