I am a Ph.D. candidate at the University of California, Santa Barbara. I am researching ways to perform automated analysis of software side channels. To that end, I am working to combine symbolic execution with model counting and information theoretic measures of side-channel information leakage. I am advised by Tevfik Bultan in the Verification Lab.
Prior to joining the UCSB Computer Science Department, I completed undergraduate degrees in mathematics and computer science at the University of Nevada, Las Vegas. I also completed a master's degree in computer science at UNLV, where I worked on competitive online algorithms for the k-server problem with Lawrence Larmore.