Parasara Sridhar Duggirala (పరాశర శ్రీధర్ దుగ్గిరాల)
@ University of North Carolina at Chapel Hill
| Fall 2023 | COMP 455: Formal Models of Languages and Computation |
| Fall 2022 | COMP 455: Formal Models of Languages and Computation |
| Fall 2022 | COMP 089: First Year Seminar - Computing All Around Us |
| Spring 2021 | COMP 455: Formal Models of Languages and Computation |
| Fall 2021 | COMP 590-144: Program Verification and Synthesis |
| Spring 2021 | COMP 790-144: Safe Autonomy |
| Fall 2020 | COMP 590-144: Program Verification and Synthesis |
| Fall 2019 | COMP 790-144: Safe Autonomy |
| Spring 2019 | COMP 790-144: Introduction to Formal Methods |
@ University of Connecticut
| Fall 2018 | CSE 4100: Programming Language Translation |
| Fall 2018 | SE 5302, CSE 5905: Introduction to Formal Methods |
| Spring 2018 | CSE 3502: Theory of Computation |
| Fall 2017 | SE 5303, CSE 5905: Design Flows for Embedded Systems |
| Spring 2017 | SE 5301: Embedded/Networked Systems Modeling Abstractions |
| Spring 2017 | CSE 3502: Theory of Computation |
| Fall 2016 | SE 5302, CSE 5905: Introduction to Formal Methods |
| Spring 2016 | CSE 5905: Introduction to Formal Methods and Verification of CPS |
| Fall 2015 | CSE 3502: Theory of Computation |