Andrew Appel

A person: a professor at Princeton working on Proof-Carrying Code and other topics.

This page is linked from: Bootstrap   Garbage Collection