Experience

Cornell Computer Architecture & Programming Abstractions Lab  

Research Engineer · Aug 2024 – Present

As a research engineer in the CAPRA Lab, I’m helping develop Protocols, a hardware-interface specification language written in Rust. Protocols serves as a single source of truth for valid transactions on a device under test, enabling reuse across multiple verification contexts. My work includes designing the lexer, parser, intermediate representation, and an execution runtime that preserves hardware semantics. I built the interpreter flow for the language and focus on executing imperative Protocols code into concurrent dataflow suitable for hardware execution, as well as laying the groundwork for future formal-methods integrations. I spoke about this work at FMCAD 2025.

CMSX @ Cornell University  

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.

Lumen Technologies - Black Lotus Labs  

Software Engineering Intern · May 2025 – Aug 2025

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.

Beacon Platform  

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