 <a href="http://www.cs.utexas.edu/users/kruegeri/">Ingolf Kr&uuml;ger</a> (<em>graduated 1996</em>) <li>
