Experience

System Development Engineer Intern
Amazon Lab126 May 2021 – August 2021
Responsibilities include:
- Working with hardware validation team at Amazon Lab126
- Working on hardware automated Quality Assurance (QA) tests for Amazon devices
- Design automated QA test procedure and metrics with the team
- Writing automated tests for various features on Amazon devices
Hardware Development Engineer Intern
Amazon Lab126 May 2020 – August 2020
Responsibilities include:
- Working on hardware validation test automation
- Initial design of a automaed hardware QA test framework
Hardware Development Engineer Intern
Amazon Lab126 June 2019 – August 2020
Responsibilities include:
- Working on hardware validation test automation
- Designing automated hardware validation test flow from members of hardware validation team
- Designing software interacting with various instruments including oscilloscope, DC power supply, waveform generator, digital multimeter, temperature chamber

PhD Electrical & Computer Engineering
University of Illinois Urbana Champaign January 2022 – May 2025
Working on formal verification of autonomous systems. My PhD work starts with development of hybrid system verification tool Verse. Then I help develop perception contract method for verification of control system with deep learning enabled perception. These methods are then extend to help design a vision based tracking algorithm for quadrotor.
MS Electrical & Computer Engineering
University of Illinois Urbana Champaign September 2019 – December 2021
Master Thesis: Software Tools For Scenario Verification Of Autonomous Systems Exploiting Dynamical Symmetries. Supervised by
GPA: 3.72/4.0
Courses included:
- ECE553: Optimum Control Systems
- ECE528: Analysis of Nonlinear Systems
- ECE517: Nonlinear & Adaptive Control
- ECE584: Embedded System Verification
- CS498: AI for Robot Manipulation
Read Thesis
BSc Electrical Engineering
University of Illinois Urbana Champaign September 2015 – May 2019
GPA: 3.92/4.0
Courses included:
- ECE489: Robot Dynamics and Control
- ECE470: Introduction to Robotics
- ECE411: Computer Organization & Design
- ECE391: Computer Systems Engineering
- ECE385: Digital Systems Laboratory
- ECE417: Multimedia Signal Processing
- ECE418: Image & Video Processing