
I am an Assistant Professor at UT Austin's Computer Science department. I'm interested in building secure systems, program verification and hardware-based security.
Interested in working with me?
Please see the Prospective Students tab
I am an Assistant Professor at UT Austin's Computer Science department. I'm interested in building secure systems, program verification and hardware-based security.
Interested in working with me?
Please see the Prospective Students tab