Experience

A summary of my work, research, and development experience.

Lumen Technologies - Black Lotus Labs Lumen logo 

Software Engineering Intern · May 2025 – Present

At Lumen, I engineered scalable network security data pipelines using AWS Athena, S3, ECS, and CloudWatch to process ~20 million records daily across 2 million IPs for threat mitigation. I exposed this data through RESTful APIs and automated CI/CD workflows with custom GitLab Runners to enhance reliability and deployment speed. Additionally, I developed an interactive Angular dashboard in TypeScript to visualize and monitor real-time threat reputation data.

CMSX @ Cornell University CMSX logo 

Software Development Engineer, Full Stack · Jan 2025 – Present

I’m currently building features for Cornell CS’s internal course management platform, which supports over 8,000 users across more than 100 courses. I develop and maintain RESTful APIs and business logic using Jakarta EE, React.js, and MySQL. I also write Selenium tests to ensure the web application remains secure, responsive, and FERPA-compliant for both students and faculty.

Cornell Computer Architecture & Programming Abstractions Lab CAPRA logo 

Research Engineer · Aug 2024 – Present

As a research engineer in CAPRA Lab, I’m helping develop Protocols, a hardware verification language written in Rust. My work includes designing a custom lexer, parser, intermediate representation, and an execution runtime that maintains hardware semantics. I also optimized a symbolic execution engine, integrated with Verilog specifications via Yosys, achieving a 15% efficiency improvement.

Protocols Architecture Interpreter Example

Beacon Platform Beacon logo 

Software Engineering Intern · May 2024 – Aug 2024

During my time at Beacon, I built a full-stack testing dashboard using Python (Tornado) and React. The dashboard visualized regression test data and helped over 200 developers—internal and external—track system health over time. I also implemented a root-cause analysis system using Streamlit, LangChain, HuggingFace, and AWS Bedrock to classify and diagnose test failures. My contributions led to a 22% reduction in regression failures, and I presented merge request policy recommendations directly to the C-suite.

I wrote about the experience here:
Rapid Development on the Beacon Platform: A First-Timer’s Experience