<b><a href="http://www.cs.cornell.edu/Info/People/kozen/kozen.html"> Dexter Kozen</a></b> (<i>kozen@cs.cornell.edu</i>): theory of computation, computational complexity, programming logics, semantics <p>
