Carnegie Mellon University

Paula Neeley

Paula Neeley

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Hometown: Portland, Oregon

Education

BS in Mathematics
Portland State University

Research

  • Automated reasoning
  • Formal verification
  • Proof theory