Andrew Bernard
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.
Temporal Logic for Proof-Carrying Code (presented at CADE 2002). Full technical report.