�ջ��

�ջ��

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