As of Fall 2023, I will be an Assistant Professor at UT Austin's Computer Science department. I'm looking for grad students! Contact me if you're interested in building secure systems, program verification or hardware-based security.
Currently, I'm a PostDoc at the University of California, San Diego Computer Science and Engineering department. I work in the Computer Security and Programming Languages Groups with Prof. Deian Stefan.