GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
Carnegie Mellon University
/
Joseph Earl Reeves
J
Joseph Earl Reeves
Post Doctoral Fellow
Computer Science
,
Carnegie Mellon University
Research Interests
Constraint Satisfaction and Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Natural Language Processing Techniques
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants