About Me
Hi, I’m Kelly. I’m a systems-focused software engineer who enjoys building reliable backend infrastructure and digging into how systems actually behave under the hood.
I’ve worked across both production backend services and low-level Linux systems, with a particular focus on correctness, performance, and maintainability.
Most recently, I was at PearlX, a small solar startup, where I worked on production backend systems and AWS infrastructure. A big part of my role there was improving reliability: debugging issues in production, strengthening deployment processes, and making systems easier to operate day-to-day. .
Before that, I was at Bolt Labs, where I built Rust-based backend services for security-sensitive infrastructure. A lot of that work involved designing systems with strong guarantees around correctness and isolation, and thinking carefully about latency, failure modes, and concurrency in production environments.
During my PhD at the University of Pennsylvania, I built tools for deterministic execution and automatic caching of arbitrary Linux programs, using techniques like system call interception and runtime instrumentation.
I’m currently focused on building and improving infrastructure systems, especially those that provide strong guarantees without adding unnecessary complexity.