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).