Home > Authors

David Luckham

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. Dr. Luckham is an acknowledged leader in high-level, multiprocessing programming languages; annotation languages; and event-based simulation systems for both hardware and software architectures. He has published more than one hundred technical articles, two of them winning ACM/IEEE Best Paper Awards, as well as three books on the design of Specification Languages and their application to software testing and verification, and hardware simulation.



0201727897AB04252002