Parasara Sridhar Duggirala (పరాశర శ్రీధర్ దుగ్గిరాల)

I am recruiting motivated graduate and undergraduate students to join my research group. Send me an e-mail with your CV if you are interested.

PhD Students

Abolfazl (Abel) Karimi
Thesis: On Validation of Autonomous Vehicles Behaviors.
Meghan Stuart
Thesis: Robustness Verification of Deep Learning Models with Applications in Biomedical Image Segmentation.

Manish Goyal - Summer 2022
Thesis: Behavioral validation in Cyber-physical systems: Safety violations and beyond.
PDF
First job : Hardware verification engineer at Apple.
Bineet Ghosh - Summer 2023
Thesis: Design and Verification of Autonomous Systems in Presence of Uncertainties
PDF
First job : Assistant Professor at University of Alabama.

Qilin Jin (BS-MS Student) - Summer 2020.
Thesis: Improved Stereo Vision for Autonomous Vehicles.
Edward Kim - Summer 2022.
Thesis: Automatic Dynamic Parallelotope Bundles for Reachability of Nonlinear Dynamical Systems.
PDF

Elizabet Pellieter - Honors Course Project in Fall 2015.
Project: Modeling Distributed Computing Machines in Maude.
Renukanandan Tumu - Upto Fall 2018.
Project: Autonomous Racing Algorithms on Miniature Vehicles.
Second Position in F1Tenth Racing at CPS Week 2018.
Graduate student at University of Pennsylvania. NSF GRFP Winner.
Jonathan Homburg - Spring 2018.
Honors Thesis: Incremental Minimization of Symbolic Automata.
Published a paper at VSTTE 2019.
Mengying Yu - Honors Project in Fall 2018.
Project: Applying Machine Learning on Real world Data-Sets.

Charlotte Dorn - Spring 2020.
Project: Building and Operating Swarms of Miniature Autonomous Vehicles.
Winner of ACM SIGBED Fellowship to attend CPSWeek or ESWeek.
Michael Alcorn - Fall 2020.
Project: Algorithms for Autonomous Racing.
Kipp Williams - Spring 2021.
Project: Predicting for Autonomous Underwater Vehicles.
Han Gao - Fall 2021.
Project: CPS Challenge: Algorithms for Drone Racing.
Second Position in GRAIC, an autonomous Racing Competition conducted as a part of CPS Week 2021.
Pranav Kallem - Spring 2023.
Project: Autonomous Racing on F1Tenth Vehicles.
Morehead-Cain Fellowship Finalist.
Anoush Mudaliar - Fall 2023.
Project: Reactive Algorithms for Autonomous Racing.

Gabriel Hart - Spring 2021 - Study of Planning Algorithms for Autonomous Robots.
Kendal Wen - Spring 2022 - Handwriting Recognition using Machine Learning.
Pracheeti Sikharkhane - Spring 2022 - Perception Algorithms for Autonomous Cars.