Overview   Generator   L & P   Proof Tutor   Proof Lab   Participants

automated proof search

Participants

Willfried Sieg 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 Joseph Ramsey Baker Hall 139
412.268.8063
jdramsey@andrew.cmu.edu
Director of Computing
 
Davin Lafon Davin Lafon Baker Hall 139
dlafon@andrew.cmu.edu
Research Staff
 
Tyler Gibson Tyler Gibson Off-Campus: Los Angeles, CA
tylerg@andrew.cmu.edu
Research Staff
  • Mathematical/Philosophical logic
  • Automated Theorem Proving
  • Computational Neuroscience
  • Philosophy of mathematics/science
Dawn McLaughlin Dawn McLaughlin Baker Hall 139
dawnm@andrew.cmu.edu
Research Staff
  • Logic (esp. Non-standard logics)
  • Philosophy of Language
  • Philosophy of Physics
  • Metaphysics
Alex Smith Alex Smith ams1@andrew.cmu.edu
Research Assistant
 
Conor Mayo-Wilson Conor Mayo-Wilson Baker Hall 143
conormw@andrew.cmu.edu
Research Assistant
  • Logic and Foundations of Mathematics
  • History and Philosophy of Mathematics
  • Philosophy of Science