Dennis Volpano

[Thomas Reps <reps@xxxxxxxxxxx>]

Dennis Volpano is a visitor from the Naval Postgraduate School
for the summer.  His temporary office is 7395, but will move
down to the 5th floor as soon as space becomes available.
He has worked on various interesting analyses for C (based
on type theory), and will give a talk within a couple of
weeks so that we can all become better acquainted with his
work.

Tom