Career Profile
Experienced Software Development Engineer at AWS with two years of expertise in CloudFormation. I lead resource migration, framework security enhancements, and test automation to strengthen platform security and streamline customer onboarding. Passionate about scalable infrastructure, I build resilient solutions that enhance customer experience and AWS service integrations.
Experiences
- Led the development and release of the 100% Coverage Map, a groundbreaking structure for CloudFormation’s Contract Test framework, increasing contract coverage from 50% to 100%, and reducing execution time by 43%
- Led the full lifecycle development of the Tagging Security Test Suite, identifying 100+ tagging issues and eliminating future tagging errors in new resource types
- Drove the end-to-end migration of critical AppConfig and EC2 resources to CloudFormation Registry (Awarded Brilliant Beginner, Award of Appreciation from Infrastructure as code)
- Designed and launched the Insight Report, the front-end of Contract Test, cutting severe operational requests from 5 per week to nearly zero
- Resolved key operational issues in CloudFormation, including eliminating throttling, timeout issues, and reduced deployment time by 67%
- Worked on solutions to monitor the Over The Air (OTA) process for the voice middle ware in more than 1.5 million devices, designed and implemented tools to generate dashboard and alarms for OTA health metrics
- Read over product architecture, researched on available services and independently worked on the design plan on an automatic OTA monitor tool
- Built with Java on backend and integrated functionalities with the shell scripts to provide the user with command line interfaces (CLI) to create dashboard and alarms for OTA health metrics
- Integrated the tool with the voice middleware shipping pipeline to realize full automation
- Conducted commercial evaluation and developed business model on potential in-license assets, focus on Cardiovascular and Metabolism therapeutic areas
- Supported to speed up internal assets development plan and developed new product launch plan
- Developed annual strategy to enrich our offering with speed up R&D and screening promising in-license assets, deep dive in disease areas to explore opportunity to expand
- Led projects to program Python tools and implement AI algorithms for medical market size estimation, first internal high-quality tool for automated estimation on large-scale data; improved accuracy by 40%
- Developed new business rules and programmed Python tools for sales force alignment with global teams, first time to realize automated alignment to increase customer user coverage by 31%
- Automated high-volume data process with Python/VBA; analyzed large amount real world data via SQL
- Implemented CatBoost algorithm for market estimation of primary care institutions
Skills & Proficiency
Java/Kotlin
Python
C/C++
Ruby
Bash
MATLAB
SQL
html/css
Excel
Research/Course Projects
SIM-based Local Failure Diagnoses
- Designed a SIM-based software solution for 5G failures detection and recovery on local end
- Developed a Finite-state machine to detect failures in a sequence and take appropriate actions
- Created a SIM applet on Javacard-based eSIM, consisting of 1225 lines of Java code, and assessed its feasibility using open-source simulators and actual Java Cards
A Novel Approach to LoRa Failure Handling
- Co-designed a new approach for LoRa failure handling by leveraging multiple replicas, CRC and Integrity
- Conducted mathematical analysis and proof to determine success rate and overhead
- Implemented the algorithm using 1068 lines of Python code and conducted empirical evaluations
Overcharging attacks against 5G/4G mobile devices
- Co-designed algorithms to launch overcharging attacks against mobile devices with ICMP manipulation and 5G/4G protocol vulnerabilities
- Wrote prototype on Android with NDK and raw socket to validate the idea under 4 major US operators
PupGo
- PupGo is an app designed for dogs to make friends, a dating app for doggy friends;
- Build with Go and SQL on backend, swift on UI, and GraphQL for data query and mutation;
- Implement features including Friend Match, Event Creation and Exploration, Event Notification and Profile Setting
NB-IoT Devices Support
- Enhancing Open-Source Core Networks to Support NB-IoT Devices;
- Implement CP CIoT Optimisation (Data-Over-NAS) in OpenAirInterface (in C language) core network;
- Setup an SDR-based testbed with USRP B210 boards and verified the code with COTS NB-IoT devices
Detect Fake 4G/5G Base Stations
- Co-Design an algorithm to define with packet-pair at the application layer without accessing the firmware or infrastructure support;
- Implement a relay fake base station in SDR-based testbed with srsLTE
Website Crawler
- Programmed Python to develop a website crawler from scratch to get hospital information from a online heathcare platform;
- Utilized these public info to build a regression model for market size estimation
Derivative Design and Hedging
- Designed a commodity-linked finance product with put and call options-embedded appealing to sound retail investors
- Pricing on numericdal solution to Stochastic Differential Equations and proved consistency
- Designed hedging strategy on the issuer side and proved effectiveness with MATLAB
Transformed PDFP
- Transformed PDFP for Partial Differential Equations
- Proved consistency and convergence of Primal-Dual Fixed-Point Algorithm (PDFP) for numerical solutions for PDEs
- Developed MATLAB codes to solve numerical solution, test algorithm performance, and showed robustness