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.)
Tools
-
HyTech: a symbolic model checker for linear hybrid systems
Courses
Conferences
-
HYBRID 95: Verification and Control of Hybrid Systems
-
CAV 96: Computer-Aided Verification
Last updated on September 1, 1995.
tah@cs.cornell.edu