GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
University of Pennsylvania
/
Mayur Naik
M
Mayur Naik
Professor
Computer Science
,
University of Pennsylvania
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants