Yash Vardhan Pant
Scholar

Yash Vardhan Pant

Google Scholar ID: hdQid8kAAAAJ
Assistant Professor, ECE, University of Waterloo
Control TheoryRoboticsMachine LearningFormal MethodsOptimization
Citations & Impact
All-time
Citations
1,005
 
H-index
14
 
i10-index
17
 
Publications
20
 
Co-authors
0
 
Resume (English only)
Academic Achievements
  • Published works include a paper on a Signal Temporal Logic-based framework for safety of Autonomous UAVs in Urban Air Mobility missions, accepted for publication in Transportation Research Part C: Emerging Technologies, special issue on Embracing Urban Air Mobility; another notable work is 'Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives' presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Research Experience
  • Prior to joining the University of Waterloo, he was a Postdoctoral Fellow in the EECS Department at UC Berkeley, mentored by Professors Sanjit Seshia (primarily) and Bjoern Hartmann as part of the VeHICaL project. Currently, leads the Control, Learning and Logic (CL2) group at the University of Waterloo.
Education
  • PhD in Electrical Engineering from the University of Pennsylvania, working under Prof. Rahul Mangharam.
Background
  • Research interests lie in using elements of Control Theory, Formal Methods, Machine Learning and Optimization to solve problems in Safe Autonomy of Robotic and other Cyber-Physical Systems.
Miscellany
  • Serving as the publicity chair for the IEEE/ACM International Conference on Cyber Physical Systems (ICCPS).
Co-authors
0 total
Co-authors: 0 (list not available)