 <b>Professor</b>: <a href="http://www.cs.utexas.edu/users/lavender">Greg Lavender</A> &lt;<A HREF=mailto:lavender@cs.utexas.edu>lavender@cs.utexas.edu</A>&gt; <br>
