P
Pavithra Prabhakar
Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Petri Nets in System Modeling
Real-Time Systems Scheduling
Software Reliability and Analysis Research