am Parasara Sridhar Duggirala, a
Candidate now graduated with a PhD
degree from the Computer
Science Department at University of
Illinois at Urbana Champaign (UIUC). I used to
work with Prof.
Mahesh Viswanathan and Prof.
Sayan Mitra on verification of Cyber-Physical
I have joined as an
Assistant Professor in the Department of Computer
Science and Engineering at University of
Connecticut. Please visit my new webpage HERE.
My research is about developing scalable approximation and abstraction techniques for verifiying high dimensional CPS with complex software. I have developed C2E2, a tool that combines the scalability of simulations with the correctness guarantees of formal verification and applied it to analyze ALAS, an alerting system for a parallel aircraft landing protocol developed by NASA (details). In the past, I have worked on Probabilistic Systems, Automatic Test Input Generation, and Decision Procedures.