Parasara Sridhar Duggirala

Teaching


@University of North Carolina Chapel-Hill


Fall 2019 COMP 790-144: Introduction to Formal Methods (material on Sakai)


@University of Connecticut


Fall 2018 CSE 4100: Programming Language Translation (material on HuskyCT).
Fall 2018 SE 5302, CSE 5905: Introduction to Formal Methods (material on HuskyCT).
Spring 2018 CSE 3502: Theory of Computation (material on HuskyCT).
Fall 2017 SE 5303, CSE 5905: Design Flow for Embedded Systems (material on HuskyCT).
Spring 2017 SE 5301: Embedded/Networked Systems Modeling Abstractions (course material on HuskyCT).
Spring 2017 CSE 3502: Theory of Computation (course material on HuskyCT).
Fall 2016

SE 5302, CSE 5905: Introduction to Formal Methods (course material on HyskyCT)

Spring 2016
CSE 5905: Introduction to Formal Methods and Verification of Cyber-Physical Systems
(course material on HuskyCT).
Fall 2015 CSE 3502: Theory of Computation (course material on HuskyCT).