David Luckham es profesor emérito de ingeniería eléctrica en la Universidad de Stanford . [1] Como estudiante de posgrado en el Instituto de Tecnología de Massachusetts (MIT), fue uno de los implementadores de los primeros sistemas para el lenguaje de programación Lisp . [2]
David Luckham | |
---|---|
Nació | |
Nacionalidad | Jamaica |
Ciudadanía | Reino Unido , Estados Unidos |
alma mater | Doctor. , MIT |
Conocido por | Teorema de Lisp automatizado que prueba Stanford Pascal Verifier Procesamiento de eventos complejos Rational Software |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad de California, Los Ángeles (UCLA) Universidad de Stanford |
Sitio web | perfiles |
Es más conocido como el creador del procesamiento de eventos complejos (CEP), como lo propuso en su libro de 2002 The Power of Events . [3] CEP consiste en un conjunto de conceptos y técnicas para procesar eventos en tiempo real y extraer información de los flujos de eventos a medida que llegan. Desde entonces, CEP se ha convertido en una tecnología habilitadora en muchos sistemas que se utilizan para tomar medidas inmediatas en respuesta a los flujos entrantes de eventos. En este libro se describen aplicaciones que ahora se pueden encontrar en muchos sectores de negocios, incluidos los sistemas de negociación del mercado de valores, dispositivos móviles, operaciones de Internet, detección de fraudes, la industria del transporte y la recopilación de inteligencia gubernamental. El libro también describe técnicas avanzadas de procesamiento de eventos, como la abstracción de eventos y las jerarquías de eventos, que aún no se encuentran en la práctica general. El último libro de Luckham es Procesamiento de eventos para empresas: organización de la empresa en tiempo real . [4]
Luckham ha ocupado puestos de profesores y profesores invitados tanto en matemáticas como en ciencias de la computación en ocho importantes universidades de Europa y Estados Unidos. Fue cofundador de Rational Software , Inc., en 1981. Suministró el compilador para el lenguaje Ada , a partir del cual se desarrollaron los primeros productos de la compañía, y se desempeñó como miembro del equipo de desarrollo de software inicial. Un líder reconocido en lenguajes de programación de alto nivel para multiprocesamiento , lenguajes de anotación y sistemas de simulación basados en eventos para arquitecturas de hardware y software, Luckham ha publicado más de 100 artículos técnicos, dos de ellos ganadores de los premios Best Paper Awards de la Association for Computing Machinery. (ACM) y el Instituto de Ingenieros Eléctricos y Electrónicos (IEEE).
Nació en Kingston, Jamaica y se crió en Londres durante el bombardeo de la Segunda Guerra Mundial . Tiene los títulos de Maestría en Ciencias (M.Sc.) de Londres, y Doctor en Filosofía (Ph.D.) del Instituto de Tecnología de Massachusetts (MIT) en matemáticas e informática .
Referencias
- ^ Luckham, David. "David Luckham" . Ingeniería Eléctrica . Universidad de Stanford . Consultado el 22 de noviembre de 2020 .
- ^ McCarthy, J .; Brayton, R .; Edwards, D .; Fox, P .; Hodes, L .; Luckham, D .; Maling, K .; Park, D .; Russell, S. (marzo de 1960). Manual del programador LISP I (PDF) . Boston , Massachusetts : Grupo de Inteligencia Artificial, Centro de Computación y Laboratorio de Investigación del MIT . ISBN 978-0262130110. Consultado el 11 de mayo de 2010 .
- ^ Luckham, David (1 de mayo de 2002). El poder de los eventos: Introducción al procesamiento de eventos complejos en sistemas empresariales distribuidos . Addison-Wesley Professional. ISBN 978-0201727890. Consultado el 22 de noviembre de 2020 .
- ^ Luckham, David (6 de diciembre de 2011). Procesamiento de eventos para empresas: organización de la empresa en tiempo real . John Wiley e hijos. ISBN 978-0-470-53485-4. Consultado el 22 de noviembre de 2020 .
enlaces externos
- Sitio web oficial , Stanford
- Breve biografía en Complexevents.com
- David Luckham en el Proyecto de genealogía matemática