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...See 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. 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 See less
David Luckham's Featured Books