Feb 2019 – May 2022 · 3 yrs 3 mos · Cupertino, California

Jan 2018 – Jun 2018 · 5 mos · Cupertino, California

Aug 2017 – Dec 2018 · 1 yr 4 mos · Austin, Texas Area

• Proposed an extension to Action Description Language (ADL) to handle the dynamic environments, non-determinism, and multiple agents. Established the translation laws to convert these rules into LTL for reactive synthesis of correct-by-construction action planners.

Aug 2016 – May 2017 · 9 mos · USA

• ME318M: Programming & Engineering Computational Methods under Prof. Michael Bryant and Dr. Dragan Djurdjanovic: Fall Semester
• ME318M: Programming & Engineering Computational Methods under Prof. Michael Bryant and Dr. Ashish Deshpande: Spring Semester

May 2017 – Aug 2017 · 3 mos · San Antonio, Texas Area

• Designed and improved moveit_simple – A wrapper around MoveIt that enables more traditional industrial robot programming.
• Tested and debugged inverse kinematics software IKFast in ROS platform

Jul 2015 – Jun 2016 · 11 mos · Gurgaon

• Skills used: Verilog, SystemVerilog, VHDL, Python and tcl scripting
• Xilinx’s synthesis tool Vivado is used to translate RTL code to netlist that can be ported to an FPGA. Logical equivalence between the netlist and the RTL is to be determined using equivalence checkers.
• o Performed Equivalence Checking (EC) of designs and identified logical bugs using EC tool
• o Root-caused the issues and created unit test-cases that highlights synthesis logic bug
• o Prepared variations of the testcases in the domain of the logic bug to ensure quality fix
• o Wrote python and tcl scripts to automate the checking process and report generation
• o Worked on 36 designs, prepared 1200+ variations and reported 16 bugs found in variation testing

Jul 2014 – May 2015 · 10 mos · IIT Delhi

• o Taught ’Engineering Mechanics’ to freshmen UG students (80+ each semester)
• o Conducted the doubt clearing sessions apart from classes twice each week
• Awarded Certificate of Appreciation by Dean of UG studies for exceptional work as TA

May 2014 – Jul 2014 · 2 mos · Singapore

• Skills used: Solidworks, MATLAB
• o Analyzed mass distribution across transmission, engine & cooling pack of an Anti-Mine Vehicle.
• o Designed Reconfigurable, Rigid, and Symmetric Cradle to enhance load test capabilities of the Dyno-room for Maintenance, Repair and Operations (MRO) forecast
• o Studied hydraulic and mechanical system of HMIVT & controlling sequence used in Trailblazer.
• o Modeled tester layout for Transmission Controller Module shifting from mechanical systems to their electrical equivalents providing high variability at low cost