As an aerodynamics engineer, I designed a sheet metal rocket fin prototype capable of enduring flutter at hypersonic speeds by conducting two-way Fluid-Structure Interaction simulation on Ansys. As a software developer, I contributed to our 6DOF flight prediciton software by introducing disperion analysis for Monte Carlo simulations, integrating trajectory plots with Google Earth and building a GUI interface for general rocket shapes. As an avionics engineer, I am currently writing the firmware library for the flight computer radio.

I work with Professor Jean-Baptiste Jeannin to develop a synchronous programming language with refinement types support. This research focuses on creating an environment where the source program can be directly verified. My main contribution was to modify the Zelus Language compiler to support refinement type annotation and to create an interface with Z3 SMT solver to check wether or not type declaration for functions and variables are valid. This project was recognized with the U-M STEM Research Carreer Award.

I developed an incident-response system to help security analysts investigate compromise machines in a large scale. The work was a collaboration between Microsoft Sentinel and the Microsoft Security Response Center. I also designed the user interface using Typescript and React. During this internship, my team won 2nd place in the internal Capture The Flag event and 3rd place on the intern puzzle solving event.

I worked on the Windows Kernel and Hypervisor Test Suite at the Base Platform Team. My project focused on optimizing VM creating and required working on user, kernel, and hypervisor modes on Windows. The project was developed in C, C++ and Assembly x86.

I introduced new customer-facing metrics for the Global Accelerator service. One set of metrics display the health status of EC2 instances, elatic IPs and load balancers linked to the accelerators. The other set displays TCP reset counts on upstream and downstream connections. This product was launched on October 2021, read more about it here.

I performed the digitization of 25 farms in Puerto Rico using ArcGIS and Google Earth to detect coffee crop management. I analyzed farm shapefiles on Google Earth Engine using Normalized Difference Vegetation Index to track crop recovery after Hurricane Maria. I wrote a script to detect potentially damaged areas in farms based on multispectral imagery. This project received the Blue Ribbon Award at the University of Michigan Undergraduate Research Symposium Winter 2020.