Carnegie Mellon University

Paula Neeley

Paula Neeley

Bio

Hometown: Portland, Oregon

Education

B.S. in Mathematics
Portland State University

Research

  • Automated reasoning
  • Formal verification
  • Proof theory