David Luckham

David Luckham - Research Professor of Electrical Engineering (Emeritus)Research Professor of Electrical Engineering (Emeritus)
Gates Computer Science Bldg.
353 Serra Mall
Stanford, CA 94305-9040
Tel. 650.723.1242
email: luckham at stanford dot edu

Professor Luckham’s research and consulting activities in software technology include multi-processing and business processing languages, event-driven systems, complex event processing, commercial middleware, program verification, systems architecture modelling and simulation, and artificial intelligence (automated deduction and reasoning systems).

Professor Luckham has held faculty and invited faculty positions in both mathematics and computer science at eight major universities in Europe and the United States including:

  • Research Professor of Electrical Engineering, Stanford University, 1977-1999
  • Vinton Hayes Senior Research Fellow, Harvard University, 1976
  • Senior Research Associate, Stanford Artificial Intelligence Laboratory, 1972-1977
  • Associate Professor, UCLA Computer Science Department, 1970-1972

He has been an invited lecturer, keynote speaker, panelist, and USA delegate at many international conferences and congresses. Until 1999 he was a member of the Computer Systems Laboratory, Stanford University and directed the Program Analysis and Verification Project. He taught courses on Artifical Intelligence and automated deduction, programming languages and program verification, the Anna verification system, systems prototyping and simulation languages, and Complex Event Processing. He was one of the founders of Rational Software, Inc. in 1981.

In the past he has served on review committees during the DoD Ada Language design competition, and was a Distinguished Reviewer on the DoD Ada9X design project. In 1993-94 he was a member of the TRW Independent Assessment Team tasked with reviewing the FAA’s Advanced Automation System for the FAA, and in 1994-96 he was a distinguished reviewer for the DoD High Level Language for modelling and simulation. He has published four books and over 100 technical papers; two ACM/IEEE Best Paper Awards, several papers are now in historical anthologies and book collections. His book, “The Power of Events“, published in 2002 is the benchmark introduction to real-time complex event processing. His latest book, “Event Processing for Business” deals with applications of CEP in business enterprises.