<img align=bottom src="http://www.cs.cornell.edu/Info/People/kozen/gif/kozen-thumb.gif"> Dexter Kozen
