P
Parasara Sridhar Duggirala
Assistant Professor
Research Interests
Autonomy
Control Theory
Embedded and Real-Time Systems
Embedded Systems
Formal Methods
Hybrid Systems
Probabilistic Systems
Formal Methods in Verification
Software Testing and Debugging Techniques
Fault Detection and Control Systems
Real-Time Systems Scheduling
Software Reliability and Analysis Research