 |
|
|
|
|
Reliable Software from Unreliable
Programmers
|
Alfred V. Aho
Research Vice President
Bell
Laboratories, Lucent Technologies
600
Mountain Avenue Murray Hill, NJ 07974
|
|
Abstract
|
|
In this
talk we examine the progress that has been made in producing
reliable software. Emphasis is placed on the new powerful
conformance testing and model checking methods that have been
developed for implementing reliable and interoperable
telecommunications systems. |
|
Biography
|
|
Al Aho is
research vice president at Bell Labs, Lucent Technologies and
director of its Computing Sciences Research Center. He is
responsible for computing sciences and software research at Bell
Labs. Previously he was professor and chair of the Computer Science
Department at Columbia University, general manager of the
Information Sciences and Technologies Research Laboratory at
Bellcore, and director of the Computing Science Research Center at
AT&T Bell Labs. |
|
Dr.
Aho is a member of the US National Academy of Engineering, and
is a Fellow of the AAAS, ACM, Bell Labs, and IEEE. He holds
honorary doctorates from the Universities of Helsinki and
Waterloo. He has been chair of ACM's Special Interest Group on
Algorithms and Computability Theory, chair of the National
Science Foundation's Advisory Committee for the Computer and
Information Science and Engineering Directorate, and a member of
the Computer Science and Telecommunications Board of the
National Research Council.
|
|
|
|
|
|
