Quick Links

Sample Banner

I am Parasara Sridhar Duggirala, a PhD 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 Systems (CPS).

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.

News

Presented my paper about verifying powertrain control systems at CAV (Jul'15)

Tool paper about verifying hybrid systems using simulations in C2E2 got accepted to TACAS (Dec'14).

Attended the Second Heidelberg Laureate Forum! Had a wonderful time meeting with Turing Award, Abel Prize, Fields Medal, and Nevanlinna Prize winners. Check out the pictures here (Sep'14).