You can reach me at me@prateekganguli.com.
About
I am a Ph.D. candidate in Computer Science at the University of North Carolina at Chapel Hill, advised by Samarjit Chakraborty. My research focuses on building safe, sustainable, and real-time Cyber-Physical Systems (CPS), with applications in automotive, robotic, and industrial control systems. Previously, I completed dual bachelor’s degrees in Computer Science Engineering at the University of Calcutta and in Data Science at IIT Madras.
Publications
ORCID iD: 0009-0003-3688-1399
A more complete list may be on my dblp or Google Scholar pages.
2026
Resource-Conscious RL Algorithms for Deep Brain Stimulation
Arkaprava Gupta, Nicholas Carter, William Zellers, Prateek Ganguli, Benedikt Dietrich, Vibhor Krishna, Parasara Sridhar Duggirala, Samarjit Chakraborty
17th International Conference on Cyber-Physical Systems (ICCPS), May 2026.
DOI · PDF
Scheduling Control Tasks Using Safety-Guided RL
Prateek Ganguli, Tingan Zhu, Samarjit Chakraborty
3rd International Conference on Applied Algorithms (ICAA), Jan 2026.
BibTeX · DOI · PDF
2025
Reducing Cloud Communication Bandwidth in Edge-Cloud Partitioned Neural Networks for CPS
Prateek Ganguli, Tingan Zhu, Shengjie Xu, Samarjit Chakraborty
2nd International Conference on Computational Technologies and Electronics (ICCTE), Nov 2025.
Navigating Delay-Uncertainty Tradeoffs: Controller Design for DNN-Based Edge-Cloud Perception
Prateek Ganguli, Tingan Zhu, Lelin Wang, Arkaprava Gupta, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty
33rd International Conference on Real-Time Networks and Systems (RTNS), Nov 2025.
PDF
In-Vivo Training for Deep Brain Stimulation
Nicholas Carter, Arkaprava Gupta, Prateek Ganguli, Benedikt Dietrich, Vibhor Krishna, Samarjit Chakraborty
21st International Conference on Body Sensor Networks (BSN), Nov 2025.
BibTeX · DOI · PDF
Building Safe Autonomous Systems using Imperfect Components
Shengjie Xu, Prateek Ganguli, Tingan Zhu, Arkaprava Gupta, Bineet Ghosh, Kurt Wilson, Abdullah Al Arafat, John Baugh, Zhishan Guo, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty
7th International School on Engineering Trustworthy Software Systems (SETSS), May 2025.
BibTeX · DOI · PDF · Slides
Controllers for Edge-Cloud Cyber-Physical Systems
Tingan Zhu*, Prateek Ganguli*, Arkaprava Gupta, Shengjie Xu, Luigi Capogrosso, Enrico Fraccaroli, Marco Cristani, Franco Fummi, Samarjit Chakraborty
*equal contribution
17th International Conference on COMmunication Systems and NETworks (COMSNETS), Jan 2025.
BibTeX · DOI · PDF
BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits
Soumik Guha Roy, Adriz Chanda, Prateek Ganguli, Sumana Ghosh, Ansuman Banerjee, Raj Kumar Gajavelly, Sudhakar Surendran
38th International Conference on VLSI Design (VLSID), Jan 2025.
BibTeX · DOI
Curriculum Vitae
LinkedIn: in/prateek-ganguli
Research Interests
My research focuses on building safe, sustainable, and real-time Cyber-Physical Systems (CPS). Modern CPSs increasingly rely on ML components for perception and control, making safety guarantees harder to establish while also becoming highly resource-intensive. My work addresses this by managing and provisioning computational resources in ML-enabled CPS to minimize resource usage while satisfying all safety criteria and real-time performance requirements. I co-design controllers and schedulers with formal safety and timing guarantees for CPS with DNN-based perception on edge-cloud platforms, and apply learning-based techniques to formal verification and synthesis problems in safety-critical CPS. My work has applications in automotive, robotic, and industrial control systems.
Education
University of North Carolina at Chapel Hill, USA (Aug 2024 – present)
Ph.D. in Computer Science
Advised by Prof. Samarjit Chakraborty; promoted to Ph.D. Candidate in Fall 2025.
University of Calcutta, India (Aug 2020 – Jun 2024)
Bachelor of Technology in Computer Science and Engineering
Indian Institute of Technology Madras, India (Jan 2021 – Dec 2023)
Bachelor of Science in Data Science and Applications
Projects and Collaboration
University of North Carolina at Chapel Hill (May 2025 – Aug 2025)
Summer Research Collaboration with General Motors
Timing analysis of the 10Base-T1S Ethernet protocol for automotive networking, under Prof. Samarjit Chakraborty, in collaboration with General Motors.
Starinco (Jan 2024 – Mar 2024)
Machine Learning Developer Intern
Worked in a team of 7 to train computer vision models for automation and auditing in industrial and manufacturing settings.
University of Calcutta (Nov 2023 – Jun 2024)
Undergraduate Thesis
Drone and Cab-based Hybrid Package Delivery Optimization, under Prof. Sunirmal Khatua. Proposed greedy algorithms for last-mile package delivery optimization using third-party cabs for warehouse-to-pickup-point transport and drones for final delivery.
Indian Statistical Institute (Oct 2023 – Jan 2024)
Research Intern
BMC Engine Sequencing with GNN Embeddings of Hardware Circuits, under Prof. Ansuman Banerjee. Researched the selection of Bounded Model Checkers for the verification of safety properties of circuits from the HWMCC competition.
Indian Statistical Institute (Oct 2023 – Dec 2023)
Research Intern
Verilog Code Generation and Debugging using LLMs, under Prof. Ansuman Banerjee. Researched the applications of Large Language Model (LLM) based tools for Electronic Design Automation and Formal Verification.
Google Summer of Code at Debian (Jun 2021 – Aug 2021)
Software Developer Intern
Wrote build scripts and set up a CI/CD pipeline to compile and update the Android SDK tools package for Debian. Worked in a team of 5 people. See: wiki.debian.org/PrateekGanguli/SummerOfCode2021
Talks
Scheduling Control Tasks Using Safety-Guided RL
International Conference on Applied Algorithms (ICAA), 2026
Reducing Cloud Communication Bandwidth in Edge-Cloud Partitioned Neural Networks for CPS
International Conference on Computational Technologies and Electronics (ICCTE), 2025
Repairing Control Safety Violations via Scheduler Patch Synthesis
International Conference on Cyber-Physical Systems (ICCPS), 2025
Service to the Community
International Conference on Cyber-Physical Systems (ICCPS), 2026
Repeatability Evaluator
International Conference on Robotics and Automation (ICRA), 2026
Reviewer
Teaching Experience
University of North Carolina at Chapel Hill (Spring 2026)
Teaching Assistant for Programming Intelligent Physical Systems
Indian Institute of Technology Madras (Summer 2023)
Student Mentor for Machine Learning Practice, Linux System Commands
University of Calcutta (Fall 2022)
Teaching Assistant for Data Structures and Algorithms Lab