Paula Neeley

Graduate Student Not in Residence

Bio

Hometown: Portland, Oregon

Education

B.S. in Mathematics
Portland State University

Research

• Automated reasoning
• Formal verification
• Proof theory