Experience

University of Utah John and Marcia Price College of Engineering

• United States
• Higher Education
• 1 - 100 Employee

• Research Assistant

  • Aug 2021 - Present

  Currently, my research interests are in formal hardware verification/rectification methods using Symbolic Computer Algebra and Algebraic Geometry.

• Undergraduate Teaching Assistant

  • Aug 2020 - May 2023

  ECE 3700 Fundamentals of Digital System Design (Spring 2023): I led lab sessions of over 30 students on creating a design using Verilog, simulating it with ModelSim, and uploading it onto a FPGA via Quartus.ECE 1050/ECE 1245 Introduction to Circuit Design Labs (Spring 2021): I advised students on how to make mathematical predictions of their circuit on MATLAB, use LTspice to model it, build and troubleshoot it.ECE 1900 Freshmen Seminar (Fall 2020): I worked with 150 new students become acclimated to their new environment; helping build study plans, explain different fields within ECE, and run soldering basics labs. Show less



Siemens EDA (Siemens Digital Industries Software)

• Software Development
• 700 & Above Employee

• Engineering Intern (Catapult HLS)

  • May 2023 - Aug 2023

  Assisted in integrating and testing open-source tool HLS4ML into Catapult HLS. Assisted in integrating and testing open-source tool HLS4ML into Catapult HLS.



Synopsys Inc

• United States
• Software Development
• 700 & Above Employee

• Engineering Technical Intern, (Formality - Silicon Realization Group)

  • May 2022 - Aug 2022

  Built a tool to save and restore at any point in the verification process. Built a tool to save and restore at any point in the verification process.



BD

• United States
• Medical Equipment Manufacturing
• 700 & Above Employee

• Document Control Coordinator (Summer position)

  • Jun 2019 - Sep 2019

  During my time as a Document Control Coordinator at Becton Dickinson, my responsibilities were handling engineering change requests, archiving documents in MasterControl, JDE part number updates, and standard updates. Through this experience I learned how to communicate in a corporate setting, developed greater organizational and time management skills, while keeping attention to detail. During my time as a Document Control Coordinator at Becton Dickinson, my responsibilities were handling engineering change requests, archiving documents in MasterControl, JDE part number updates, and standard updates. Through this experience I learned how to communicate in a corporate setting, developed greater organizational and time management skills, while keeping attention to detail.