I am a research engineer at Galois where I work on Programming Languages, Software Assurance, and Computer Security. Before joining Galois, I worked as a research engineer at 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.