Experience
Education
Bio
PhD student at UC San Diego interested in computer security, including automatic vulnerability finding (and fixing), secure languages/runtimes, and side channels such as Spectre.