David Luckham

{{short description|American computer scientist}}

{{Infobox scientist

|name = David Luckham

|image =

|caption =

|birth_date =

|birth_place = Kingston, Colony of Jamaica, British Empire

|death_date =

|death_place =

|citizenship = United Kingdom, United States{{facts|date=July 2024}}

|fields = Computer science

|workplaces = University of California, Los Angeles (UCLA)
Stanford University

|patrons =

|education =

|alma_mater = Ph.D., MIT

|thesis_title =

|thesis_url =

|thesis_year =

|doctoral_advisor =

|academic_advisors =

|doctoral_students =

|notable_students =

|known_for = Lisp
Automated theorem proving
Stanford Pascal Verifier
Complex event processing
Rational Software

|influences =

|influenced =

|awards =

|signature =

|website = {{URL|profiles.stanford.edu/david-luckham}}

|footnotes =

}}

David Luckham is an emeritus professor of electrical engineering at Stanford University.{{Cite web |last=Luckham |first=David |date= |url=https://profiles.stanford.edu/david-luckham/ |title=David Luckham |website=Electrical Engineering |publisher=Stanford University |access-date=22 November 2020}} As a graduate student at the Massachusetts Institute of Technology (MIT), he was one of the implementers of the first systems for the programming language Lisp.{{Cite book

|last=McCarthy |first=J. |author-link=John McCarthy (computer scientist)

|last2=Brayton |first2=R.

|last3=Edwards |first3=D.

|last4=Fox |first4=P. |author4-link=Phyllis Fox

|last5=Hodes |first5=L. |author5-link=Louis Hodes

|last6=Luckham |first6=D.

|last7=Maling |first7=K.

|last8=Park |first8=D. |author8-link=David Park (computer scientist)

|last9=Russell |first9=S. |author9-link=Steve Russell (computer scientist)

|title=LISP I Programmers Manual

|place=Boston, Massachusetts

|publisher=Artificial Intelligence Group, M.I.T. Computation Center and Research Laboratory

|date=March 1960

|chapter=

|page=

|pages=

|url=http://history.siam.org/sup/Fox_1960_LISP.pdf

|archive-url=

|archive-date=

|doi=

|id=

|isbn=978-0262130110 |access-date=11 May 2010}}

He is best known as the originator of complex event processing (CEP) as proposed in his 2002 book The Power of Events.{{cite book |last=Luckham |first=David |date=1 May 2002 |url=https://www.pearson.com/us/higher-education/program/Luckham-Power-of-Events-The-An-Introduction-to-Complex-Event-Processing-in-Distributed-Enterprise-Systems-paperback/PGM2398603.html |title=The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems |isbn=978-0201727890 |publisher=Addison-Wesley Professional |access-date=22 November 2020}} CEP consists of a set of concepts and techniques for processing real-time events and extracting information from event streams as they arrive. CEP has since become an enabling technology in many systems that are used to take immediate action in response to incoming streams of events. Applications are described in this book that may now be found in many sectors of business including stock market trading systems, mobile devices, internet operations, fraud detection, the transport industry, and government intelligence gathering. The book also describes advanced event processing techniques such as event abstraction and event hierarchies that are not yet in general practice. Luckham's latest book is Event Processing for Business: Organizing the Real-Time Enterprise.{{cite book |last=Luckham |first=David |date=6 December 2011 |url=http://www.wiley.com/WileyCDA/WileyTitle/productCd-0470534850.html |title=Event Processing for Business: Organizing the Real-Time Enterprise |isbn=978-0-470-53485-4 |publisher=John Wiley & Sons |access-date=22 November 2020}}

Luckham has held faculty and invited faculty positions in both mathematics and computer science at eight major universities in Europe and the United States. He was a cofounder of Rational Software, Inc., in 1981. He supplied the compiler for the language Ada, from which the company's first products were developed, and served as a member of the initial software development team. An acknowledged leader in high-level programming languages for multiprocessing, annotation languages, and event-based simulation systems for both hardware and software architectures, Luckham has published more than 100 technical articles, two of them winning Best Paper Awards from the Association for Computing Machinery (ACM) and the Institute of Electrical and Electronics Engineers (IEEE).

He was born in Kingston in the British Colony of Jamaica, and raised in London during The Blitz of World War II. He holds the degrees Master of Science (M.Sc.) from London, and Doctor of Philosophy (Ph.D.) from the Massachusetts Institute of Technology (MIT) in mathematics and computer science.