<b><a href="http://www.cs.cornell.edu/Info/People/tah/tah.html"> Thomas A. Henzinger</a></b> (<i>tah@cs.cornell.edu</i>): formal support for the development and analysis of concurrent, real-time, and embedded systems <p>
