I am a third year CS PhD student at UW-Madison. My research interests are primarily in formal methods, programming languages, and computer security. Currently, I am working with Ethan Cecchetti on Security-Typed Langugaes. I am a member of the MadPL , and MadS&P groups. I hold a Bachelor's degree in Computer Science from Carnegie Mellon University (2018). After that, I worked at Qatar Computing Research Institute where I was advised by Ashraf Aboulnaga.