Parasara Sridhar Duggirala

Teaching

Fall 2015: CSE 3502 - Theory of Computation. [website].
Spring 2016: CSE 5905 - Introduction to Formal Methods and Verification of Cyber-Physical Systems. [website]
Fall 2016: SE 5302, CSE 5905 - Introduction to Formal Methods (course material on HyskyCT)
Spring 2016: CSE 3502 - Theory of Computation (course material on HuskyCT).
Spring 2016: SE 5301 - Embedded/Networked Systems Modeling Abstractions (course material on HuskyCT).