Doctoral alumnus from the
Computer Science Department at
Carnegie Mellon University.
Advisor:
Peter Lee.
I'm an engineer at Google Pittsburgh.
Slides from my defense.
Ph.D. Thesis
Temporal Logic for Proof-Carrying Code
(presented at CADE 2002).
Full
technical report.
Security-Property Languages
Thesis Proposal