Marijn Heule

Associate Professor, Carnegie Mellon University
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12May 14, 2021

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