David Luckham | |
|---|---|
| Born | Kingston,Colony of Jamaica, British Empire |
| Citizenship | United Kingdom,United States[citation needed] |
| Alma mater | Ph.D.,MIT |
| Known for | Lisp Automated theorem proving StanfordPascal Verifier Complex event processing Rational Software |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of California, Los Angeles (UCLA) Stanford University |
| Website | profiles |
David Luckham is an emeritus professor ofelectrical engineering atStanford University.[1] As a graduate student at theMassachusetts Institute of Technology (MIT), he was one of the implementers of the first systems for theprogramming languageLisp.[2]
He is best known as the originator ofcomplex event processing (CEP) as proposed in his 2002 bookThe Power of Events.[3] CEP consists of a set of concepts and techniques for processingreal-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 isEvent Processing for Business: Organizing the Real-Time Enterprise.[4]
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 ofRational Software, Inc., in 1981. He supplied thecompiler for the languageAda, from which the company's first products were developed, and served as a member of the initial software development team. An acknowledged leader inhigh-level programming languages formultiprocessing, annotation languages, andevent-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 theAssociation for Computing Machinery (ACM) and theInstitute of Electrical and Electronics Engineers (IEEE).
He was born inKingston in the BritishColony of Jamaica, and raised in London duringThe Blitz ofWorld War II. He holds the degreesMaster of Science (M.Sc.) from London, andDoctor of Philosophy (Ph.D.) from theMassachusetts Institute of Technology (MIT) inmathematics andcomputer science.
{{cite book}}:ISBN / Date incompatibility (help)| Features |
| ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Implementations |
| ||||||||||||||||||||||||||
| Hardware | |||||||||||||||||||||||||||
| Community of practice |
| ||||||||||||||||||||||||||
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
