formal analysis and automatic generation of user interfaces

MICHAEL HEYMANN received the B.Sc. and M.Sc. degrees from the Technion,
Haifa, Israel, in 1960 and 1962, respectively, and the Ph.D. degree from the University of
Oklahoma, Norman, in 1965, all in Chemical Engineering. For the past 33 years he has
been with the Technion, Israel Institute of Technology, where he is currently Professor of
Computer Science and Director of the Center for Intelligent Systems, holding the Carl
Fechheimer Chair in Electrical Engineering. He has previously been with the department
of Applied Mathematics, of which he was Chairman, and with the Department of
Electrical Engineering. Since 1983 he has also been associated with NASA Ames
Research Center.
His past research has covered topics in the areas of linear system theory, differential
games, optimization and adaptive control. His current interests are primarily in the areas
of discrete event systems, hybrid systems, the theory of concurrent processes, and various
formal aspects of human-machine interaction. He has been on the editorial boards of the
SIAM Journal of Control and Optimization and Systems and Control Letters.
ASAF DEGANI received the Practical Engineer degree in Architecture from ORT
Technical College, Israel, and the B.Sc. from Florida International University. He
received the M.Sc. in Ergonomics from University of Miami and the Ph.D. in Industrial
and Systems Engineering from Georgia Institute of Technology, Atlanta. Since 1989 he
has worked as a researcher at the Human Factors and Computational Science Divisions at
NASA Ames. His research interests are in the areas of human interaction with
automation, modeling and formal methods, procedure design, and aviation safety.
- 28 -