
Marijn Heule
Associate Professor, Carnegie Mellon University
Visiting Scientist and Workshop Organizer
Dates of Visit: Jan. 12 – May 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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist and Workshop Organizer.