Instructor:  <a href="http://www.cs.cornell.edu/Info/People/tah/tah.html"> Tom Henzinger</a></h4>
