<b>Joe Halpern:</b> <a href="http://www.cs.cornell.edu/Info/People/halpern/">(Personal)</a>  <dd>
