MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 20-Nov-96 18:58:16 GMT Content-Type: text/html Content-Length: 2317 Last-Modified: Thursday, 13-Jun-96 06:50:44 GMT Tom Henzinger

Thomas A. Henzinger: I HAVE MOVED

Assistant Professor
Computer Science Department
Cornell University
Ithaca, NY 14853

Email: tah@cs.cornell.edu

Phone: (607) 255-3009
Fax: (607) 255-4428

Research

Formal support for the development and analysis of concurrent, real-time, and embedded systems. (Related research at Cornell and worldwide.)

Resume

Publications

Tools

Courses

Conferences

Last updated on September 1, 1995.
tah@cs.cornell.edu