Contributing cross-functionally to 7+ parallel projects, ensuring high code quality & best practices in a team of 25
Deployed 4 end-to-end applications over a 6 month period all with 90%+ code coverage and automated deployment pipelines
Built robust CI/CD pipelines for testing, styling, & deployment, using 2000+ GitHub Actions minutes over 3 months
President
Amherst College Quant Club
Coordinating meetings & communication for 36 club members, conducting weekly C++ review sessions and trading games
Spearheaded the first Amherst Quant Competition with 40+ participants, developing a live trading platform in C++ that executed 10k+ trades in real time
AI Researcher
Professor Andrew Wu Research Group
Engineering the open source Deep Neural Networks (DNN) verification framework Marabou with C++ & Python
Concurrently developing the alpha-beta-CROWN and NeuralSAT frameworks, leveraging Pytorch’s CUDA acceleration for parallelization
Developed the novel lookahead branching heuristic for branch-and-bound, improving verification time by up to 30%
Built a novel incremental verification pipeline for verification of related properties, yielding 2x improvements in verification time
Research Engineer
IDEAS Lab
Engineering RBlocks, a block-based R-programming IDE with React & Firebase for 200+ intro statistics students each year
Integrated Google Authentication & Firebase for secure code storage & retrieval for hundreds of users
Built an automated CI/CD pipeline integrating Firebase for deployment, ensuring seamless updates & scalability
Business Analyst and VC Extern
HP (Hewlett Packard) Tech Ventures
Researched metrics, industry data, & business models for early-stage AI startups, identifying KPIs, OKRs & market trends
Analyzed 6000 rows of data with SQL & Tableau, uncovering underlying time-series trends to guide long-term investments