Jyo Deshmukh
Associate Professor of Computer Science and of Electrical and Computer Engineering
Applies formal methods, temporal logics and testing to verify cyber-physical and learning-enabled autonomous systems.
Jyo Deshmukh's lab at USC works on autonomous vehicles & drones, embodied & active vision and compilers & programming languages. 9 papers since 2023, mostly CDC. 8 PhD students and 5 master's students. 7 alumni, most often to Apple and Google. Applications close .
At a glance
- papers, 2023–2026
- 2/ year
- at T1 venues
- 0%
- PhD students
- 8
- MS students
- 5
- alumni listed
- 7
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 4 papers2025 · T1 0
- 4 papers2024 · T1 0
- 1 papers2023 · T1 0
T1 venuesOtherVenues: CDC
Research focuspaper titles that use each topic's words
- temporal3 papers
- Autonomous vehicles & drones1 paper
- Compilers & programming languages1 paper
- Embodied & active vision0 papers
- formal methods0 papers
Paper list
From the lab homepage.
20254 papers
- International Conference on Runtime VerificationConformal Predictive Monitoring for Multi-Modal Scenarios (opens in a new tab)
- ACM Transactions on Cyber-Physical SystemsDistributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications (opens in a new tab)
- IEEE Control Systems MagazineFormal Verification and Control With Conformal Prediction: Practical Safety Guarantees for Autonomous Systems (opens in a new tab)
- ACM Transactions on Embedded Computing SystemsSTL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies (opens in a new tab)
20244 papers
- IFAC Conference on Analysis and Design of Hybrid SystemsLB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers (opens in a new tab)
- ACM/IEEE International Conference on Cyber-Physical SystemsRobust Conformal Prediction for STL Runtime Verification under Distribution Shift (opens in a new tab)
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsStatistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift (opens in a new tab)
- AISoLA - Bridging the Gap Between AI and RealitySystematic Translation from Natural Language Robot Task Descriptions to STL (opens in a new tab)
Where alumni went7 listed, 60% to industry
Industry 3Academia 2
Most often to
- Apple
- Microsoft
Also to
- California State University
- UT Austin
Apply to USCFall 2027
Computer Science PhD (Viterbi)
- Round
- Single round (Dec 15)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Confirmed on the program page.
Similar labsnearest by research summary
- USUCSD
Laurel Riek
- Human-robot interaction & assistive robots
- DETUM
Cristina Piazza
- Human-robot interaction & assistive robots
- USNYU
Benjamin Riviere
- Autonomous vehicles & drones
- USCMU
Zackory Erickson
- Human-robot interaction & assistive robots
- USMichigan
Xi Jessie Yang
- Human-robot interaction & assistive robots
- GBUCL
Pian Yu
- Planning, control & multi-robot systems
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
USCcloses