About Me

Hello! I am a PhD Student in the Programming Systems Group @ UCSD.
I mostly work at the intersection of programming languages and security, focusing on pragmatic verification. Ultimately, I want my work to meaningfully reduce the number of bugs that exist in code.
Before joining UCSD, I worked as a Software Engineer at Dimensional Fund Advisors and completed my undergrad at Boston University where I worked on Formally Verifying Algorithms for Differential Privacy, with Professor Marco Gaboardi (BU) and Professor Arthur Azevedo De Amorim (RIT).

Research

TickTock: Verified Isolation in a Production Embedded OS Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala. SOSP 2025

SOSP Paper - Rust Working Group Talk - Rust Verification Slides - Code

Verified Differential Privacy for Finite Computers Vivien Rindisbacher, Arthur Azevedo de Amorim, Marco Gaboardi. CoqPL 2023

Extended Abstract - Talk

Heat Adjusted Power Site
Heat Adjusted Power is the only model that is able to adjust cyclist's effort level for ambient temperature. This site was formally launched as a product by CCNS. Big thanks to Professor Michael Kane (Yale) for his guidance.

Education & Work Experience

University of California, San Diego Ph.D. Student in Computer Science, advised by Ranjit Jhala and Deian Stefan.
Boston University - Computer Science I graduated with a B.A. in CS from BU in May of 2022.
Amazon Web Services (AWS) I worked as an Applied Scientist Intern in the summer of 2025.
Dimensional Fund Advisors - Software Engineer I worked as a software engineer at DFA from 2022 - 2024.