Experience

Waabi

• Canada
• Truck Transportation
• 100 - 200 Employee

• Senior Software Engineer

  • Jan 2023 - Present

  Self-driving trucks Self-driving trucks



University of Pennsylvania

• United States
• Higher Education
• 700 & Above Employee

• Graduate Research Assistant

  • Aug 2017 - Dec 2022

  Research: Safe and Robust Planning & Control of Cyber-Physical Systems - Theoretical foundations of temporal robustness - Temporally-robust control using Mixed-Integer Linear Programming (MILP) Research: Safe Trajectory Planning for Autonomous Drones - Learning-based mission-aware collision avoidance for scalable urban mobility - Autonomous drone safety using temporal logic-based trajectory planning Research: Safe and Robust Planning & Control of Cyber-Physical Systems - Theoretical foundations of temporal robustness - Temporally-robust control using Mixed-Integer Linear Programming (MILP) Research: Safe Trajectory Planning for Autonomous Drones - Learning-based mission-aware collision avoidance for scalable urban mobility - Autonomous drone safety using temporal logic-based trajectory planning



Intel Labs

• United States
• Research Services
• 700 & Above Employee

• Research Scientist Intern

  • Jun 2019 - Aug 2019

  - Automated driving safety analysis and software integration with RSS Library. - Automatic exploration of the performance limits of AV safety models using robustness as a continuous metric of safety. - Automated driving safety analysis and software integration with RSS Library. - Automatic exploration of the performance limits of AV safety models using robustness as a continuous metric of safety.



General Motors

• United States
• Motor Vehicle Manufacturing
• 700 & Above Employee

• Research And Development Intern

  • Jun 2018 - Aug 2018

  Correctness Preserving Optimization of Deep Neural Networks Correctness Preserving Optimization of Deep Neural Networks



Technische Universität Wien

• Austria
• Research Services
• 700 & Above Employee

• Research Assistant, PhD Student

  • Feb 2015 - Oct 2017

  Verification, Formal methods, Temporal Languages. Project: A Specification Language for Emergent Properties. Verification, Formal methods, Temporal Languages. Project: A Specification Language for Emergent Properties.