David Luckham | |
---|---|
Born | |
Nationality | Jamaican |
Citizenship | United Kingdom, United States |
Alma mater | Ph.D., MIT |
Known for | Lisp Automated theorem proving Stanford Pascal 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 of electrical engineering at Stanford University. [1] 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. [2]
He is best known as the originator of complex event processing (CEP) as proposed in his 2002 book The Power of Events. [3] 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. [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 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, 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.
Lisp machines are general-purpose computers designed to efficiently run Lisp as their main software and programming language, usually via hardware support. They are an example of a high-level language computer architecture, and in a sense, they were the first commercial single-user workstations. Despite being modest in number Lisp machines commercially pioneered many now-commonplace technologies, including effective garbage collection, laser printing, windowing systems, computer mice, high-resolution bit-mapped raster graphics, computer graphic rendering, and networking innovations such as Chaosnet. Several firms built and sold Lisp machines in the 1980s: Symbolics, Lisp Machines Incorporated, Texas Instruments, and Xerox. The operating systems were written in Lisp Machine Lisp, Interlisp (Xerox), and later partly in Common Lisp.
Symbolics, Inc., was a privately held American computer manufacturer that acquired the assets of the former company and continues to sell and maintain the Open Genera Lisp system and the Macsyma computer algebra system.
Gerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He received his S.B. and Ph.D. degrees in mathematics from MIT in 1968 and 1973 respectively. He has been involved in artificial intelligence (AI) research at MIT since 1964. His research has centered on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing it to provide more effective methods of science and engineering education. Sussman has also worked in computer languages, in computer architecture and in Very Large Scale Integration (VLSI) design.
Terry Allen Winograd is an American professor of computer science at Stanford University, and co-director of the Stanford Human–Computer Interaction Group. He is known within the philosophy of mind and artificial intelligence fields for his work on natural language using the SHRDLU program.
Guy Lewis Steele Jr. is an American computer scientist who has played an important role in designing and documenting several computer programming languages and technical standards.
John McCarthy was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" (AI), developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharing, and invented garbage collection.
Harold Abelson is the Class of 1922 Professor of Computer Science and Engineering in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), a fellow of the Institute of Electrical and Electronics Engineers (IEEE), and a founding director of both Creative Commons and the Free Software Foundation.
Computer Science and Artificial Intelligence Laboratory (CSAIL) is a research institute at the Massachusetts Institute of Technology (MIT) formed by the 2003 merger of the Laboratory for Computer Science (LCS) and the Artificial Intelligence Laboratory. Housed within the Ray and Maria Stata Center, CSAIL is the largest on-campus laboratory as measured by research scope and membership. It is part of the Schwarzman College of Computing but is also overseen by the MIT Vice President of Research.
Scott Elliott Fahlman is a computer scientist and Professor Emeritus at Carnegie Mellon University's Language Technologies Institute and Computer Science Department. He is notable for early work on automated planning and scheduling in a blocks world, on semantic networks, on neural networks, on the programming languages Dylan, and Common Lisp, and he was one of the founders of Lucid Inc. During the period when it was standardized, he was recognized as "the leader of Common Lisp." From 2006 to 2015, Fahlman was engaged in developing a knowledge base named Scone, based in part on his thesis work on the NETL Semantic Network. He also is credited with coining the use of the emoticon :-).
Event processing is a method of tracking and analyzing (processing) streams of information (data) about things that happen (events), and deriving a conclusion from them. Complex event processing, or CEP, consists of a set of concepts and techniques developed in the early 1990s for processing real-time events and extracting information from event streams as they arrive. The goal of complex event processing is to identify meaningful events in real-time situations and respond to them as quickly as possible.
Business activity monitoring (BAM) is software that aids the monitoring of business activities which are implemented in computer systems.
New Implementation of LISP (NIL) is a programming language, a dialect of the language Lisp, developed at the Massachusetts Institute of Technology (MIT) during the 1970s, and intended to be the successor to the language Maclisp. It is a 32-bit implementation, and was in part a response to Digital Equipment Corporation's (DEC) VAX computer. The project was headed by Jon L White, with a stated goal of maintaining compatibility with MacLisp while fixing many of its problems.
STUDENT is an early artificial intelligence program that solves algebra word problems. It is written in Lisp by Daniel G. Bobrow as his PhD thesis in 1964. It was designed to read and solve the kind of word problems found in high school algebra books. The program is often cited as an early accomplishment of AI in natural language processing.
Douglas Taylor "Doug" Ross was an American computer scientist pioneer, and chairman of SofTech, Inc. He is most famous for originating the term CAD for computer-aided design, and is considered to be the father of Automatically Programmed Tools (APT), a programming language to drive numerical control in manufacturing. His later work focused on a pseudophilosophy he developed and named Plex.
Daniel L. Weinreb was an American computer scientist and programmer, with significant work in the environment of the programming language Lisp.
Carl Eddie Hewitt was an American computer scientist who designed the Planner programming language for automated planning and the actor model of concurrent computation, which have been influential in the development of logic, functional and object-oriented programming. Planner was the first programming language based on procedural plans invoked using pattern-directed invocation from assertions and goals. The actor model influenced the development of the Scheme programming language, the π-calculus, and served as an inspiration for several other programming languages.
Louis Hodes was an American mathematician, computer scientist, and cancer researcher.
Phyllis Ann Fox is an American mathematician and computer scientist.
Esper is an open-source Java-based software product for Complex event processing (CEP) and Event stream processing (ESP), that analyzes series of events for deriving conclusions from them.