 <a href="http://www.cs.cornell.edu/home/rvr/rvr.html"><img src="http://www.cs.cornell.edu/home/rvr/rvr_small.gif" align=center alt=""></a> <a href="http://www.cs.cornell.edu/home/rvr/rvr.html">Robbert van Renesse</a>  at Cornell (<a href="http://www.cs.cornell.edu/Info/Projects/HORUS/">Horus</a>). </li>
