Paula Neeley
Contact
Address
5000 Forbes Avenue
Pittsburgh, PA 15213
5000 Forbes Avenue
Pittsburgh, PA 15213
Bio
Hometown: Portland, Oregon
Education
BS in Mathematics
Portland State University
Research
- Automated reasoning
- Formal verification
- Proof theory