Dr. Marijn Heule

Biography

Marijn Heule is an Associate Professor at Carnegie Mellon University in the Department of Computer Science. His research focuses on solving hard problems automatically with high confidence results. He addresses the need for precise logical reasoning in various fields, including health care, finance, and aviation, to ensure computer systems work as intended. Heule's main research themes include Trusted Computing and fully automated reasoning tools that can be utilized in both industry and academia to address long-standing open problems. These tools are complex and raise questions about their trustworthiness, particularly in safety-critical systems where correctness is paramount. Heule develops proof systems that can compactly express entire search spaces and efficient, formally-verified tools to validate the correctness of these proofs. He studies the differences between human and computer-generated proofs with the goal of transforming machine-generated proofs into humanly understandable arguments. Heule also tackles the challenges associated with automated reasoning by creating new proof systems that can generalize and augment existing ones, thereby enhancing the mechanization of reasoning tasks. In his ongoing work, he envisions a future where automated reasoning systems can operate in a cloud service to solve a range of difficult problems, facilitating external validation and comprehension of complex proofs.

Research Interests

Experience

Courses