Carnegie Mellon University
—
—
—
Search
Search
Search this site only
Department of Philosophy
Dietrich College of Humanities and Social Sciences
Dietrich College of Humanities and Social Sciences
›
Department of Philosophy
›
People
›
Graduate Students Not in Residence
› Paula Neeley
Paula Neeley
Bio
Hometown: Portland, Oregon
Education
B.S. in Mathematics
Portland State University
Research
Automated reasoning
Formal verification
Proof theory
Contact
Graduate Application
Support Philosophy @ CMU