I am a software engineer at the Stellar Development Foundation where I primarily work on peer-to-peer networking and consensus for Stellar Core.
I have previously worked as a research engineer focused on Programming Languages, Software Assurance, and Computer Security at both Galois and Aarno Labs.
I completed my Masters in Computer Science studying Programming Languages at MIT in 2018 under my advisor Michael Carbin.
Before that, I was at the University of Washington working with Adrian Sampson under Dan Grossman and Luis Ceze.