I make software systems safer. I am interested in leveraging systems and PL research to create advanced tools that allow developers to easily create secure systems and quickly analyze their correctness. Imagine a world where critical vulnerabilities caused by low-level bugs are relics of the past; I am working towards that future.
I am enthusiastic about using great open-source tools to better my life and help those around me. In particular, I love Rust, Git, Spacemacs, Org-mode, and Ledger! I also enjoy homebrewing, rock climbing, playing board games, and exploring Philadelphia’s many restaurants and bars.