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