Marijn Heule

Marijn Heule Marijn importerbot Thu, 08/22/2019 - 15:28 Heule Associate Professor 9107 Gates and Hillman Centers mheule@andrew.cmu.edu Computer Science Department Emi Perdan Programming Languages Formal Methods Pure and Applied Logic Faculty Cayden Codel Bernardo Anibal Subercaseaux Roa Amar Shah Zachary Battleman Ben Przybocki My research focuses on solving hard problems automatically with having high confidence in the results. While humans are great a