Carnegie Mellon University
Dietrich College of Humanities and Social Sciences  ›  Hoskinson Center for Formal Mathematics  ›  People

Faculty

3 bios displayed.

Jeremy Avigad

Jeremy Avigad

Director of the Hoskinson Center, Professor of Philosophy, Professor of Mathematical Sciences

Read full bio

Marijn Heule

Marijn Heule

Associate Professor of Computer Science

Read full bio

Patrick Massot

Patrick Massot

Visiting Shelly Professor (joint with Mathematical Sciences)

Read full bio

Research Fellows

2 bios displayed.

Mario Carneiro

Mario Carneiro

Postdoctoral Fellow

Read full bio

Tomáš Skřivan

Tomáš Skřivan

Research Fellow

Read full bio

Staff

1 bio displayed.

Lisa Everett

Lisa Everett

Senior Administrative Coordinator

Read full bio