
Wilfried Sieg 
Baker Hall 135G 412.268.8565 sieg@cmu.edu 
Project Director

 Proof Theory
 Computability Theory
 History & Philosophy of Mathematics (19th and 20th centuries).


Joseph Ramsey 
Baker Hall 139 412.268.8063 jdramsey@andrew.cmu.edu 
Director of Computing



Davin Lafon 
Baker Hall 139 dlafon@andrew.cmu.edu 
Research Staff



Tyler Gibson 
OffCampus: Los Angeles, CA tylerg@andrew.cmu.edu 
Research Staff

 Mathematical/Philosophical logic
 Automated Theorem Proving
 Computational Neuroscience
 Philosophy of mathematics/science


Dawn McLaughlin 
Baker Hall 139 dawnm@andrew.cmu.edu 
Research Staff

 Logic (esp. Nonstandard logics)
 Philosophy of Language
 Philosophy of Physics
 Metaphysics


Alex Smith 
ams1@andrew.cmu.edu 
Research Assistant



Conor MayoWilson 
Baker Hall 143
conormw@andrew.cmu.edu

Research Assistant

 Logic and Foundations of Mathematics
 History and Philosophy of Mathematics
 Philosophy of Science
