Parasara Sridhar Duggirala

Parasara Sridhar Duggirala

Student Presentation

    Organization:

    University of Illinois at Urbana-Champaign

    Email:

    duggira3atillinois [dot] edu

Speaker Biography:

  • Parasara Sridhar Duggirala is a second year PhD student in the Computer Science Department at University of Illinois at Urbana-Champaign. His research interest is in the domain of Formal Methods and specifically in developing formal models and verification of safety-critical systems. He obtained his Bachelors in Computer Science and Engineering from Indian Institute of Technology, Guwahati in 2009.