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.