Virginia Tech®home

Proofs Project Team

PIs

Grad students

Undergrad researchers

  • Paul Dawkins (Texas State, San Marcos)
    • Research program on logic and proof-oriented mathematics

    • Related NSF grant (C3PO) investigating how students comprehend conditional claims in proofs

  • Guershon Harel  (University of California at San Diego)
    • Research on proof schemes

    • Critical constructs for our project: quasi-induction and intellectual need

  • Barbara Shipman (University of Texas, Arlington)
    • Research in Undergraduate Mathematics Education

    • Role of (hidden) quantifiers