A *(person): a professor _(at Princeton| http://www.cs.princeton.edu/~appel/) working on _(Proof-Carrying Code) and other topics.