I am a graduate student and security researcher in the Systems and
Networking group at the University of California, San Diego. My work focuses
on the development of verified software systems, the automation of program analysis techniques for
embedded device firmware, and the use of network protocols in the security of distributed systems.