��ý

��ý

Hoskinson Center for Formal Mathematics

Dietrich College of Humanities and Social Sciences

Dietrich College of Humanities and Social Sciences › Hoskinson Center for Formal Mathematics › People › Marijn Heule

Marijn Heule

Associate Professor of Computer Science

Contact

marijn(through)cmu.edu

Address
5000 Forbes Avenue
Pittsburgh, PA 15213