NEW TITLE RELEASE ANNOUNCEMENT
See the latest about a temporary release delay on new titles. Learn more.
David Luckham is Professor Emeritus at Stanford University, where he directs the Program Analysis and Verification Project. He played a significant role in the founding of Rational Software in 1981, supplying both the Ada compiler from which the company’s first products were developed and serving as a member of the initial software development team. An acknowledged leader in high-level, multiprocessing programming languages, annotation languages, and event-based simulation systems for both hardware and software architectures, Dr. Luckham has published more than one hundred technical articles, two of them winning ACM/IEEE Best Paper Awards. He is also the author of three books on the design of Specification Languages and their application to software testing and verification, and hardware simulation.