Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Дэвид Лакхэм
Родившийся
Кингстон, Ямайка
НациональностьЯмайка
ГражданствоСоединенное Королевство , Соединенные Штаты
Альма-матерКандидат наук. , Массачусетский технологический институт
ИзвестенLisp
Автоматическое доказательство теорем
Stanford Pascal Verifier
Обработка сложных событий
Rational Software
Научная карьера
ПоляИнформатика
УчрежденияКалифорнийский университет в Лос-Анджелесе (UCLA)
Стэнфордский университет
Интернет сайтпрофили .stanford .edu / david-luckham

Дэвид Luckham является заслуженным профессором электротехники в Стэнфордском университете . [1] Будучи аспирантом Массачусетского технологического института (MIT), он был одним из разработчиков первых систем для языка программирования Lisp . [2]

Он наиболее известен как создатель сложной обработки событий (CEP), предложенной в его книге 2002 года «Сила событий» . [3] CEP состоит из набора концепций и методов обработки в реальном времени.события и извлечение информации из потоков событий по мере их поступления. CEP с тех пор стал технологией во многих системах, которые используются для немедленных действий в ответ на входящие потоки событий. В этой книге описаны приложения, которые теперь можно найти во многих секторах бизнеса, включая торговые системы на фондовом рынке, мобильные устройства, операции в Интернете, обнаружение мошенничества, транспортную отрасль и сбор правительственной разведки. В книге также описаны передовые методы обработки событий, такие как абстракция событий и иерархии событий, которые еще не используются в повседневной практике. Последняя книга Лакхэма - « Обработка событий для бизнеса: организация предприятия в реальном времени» . [4]

Лакхэм занимал преподавательские и приглашенные должности в области математики и информатики в восьми крупных университетах Европы и США. Он был соучредителем Rational Software , Inc. в 1981 году. Он поставил компилятор для языка Ada , на основе которого были разработаны первые продукты компании, и входил в состав первоначальной группы разработчиков программного обеспечения. Признанный лидер в области языков программирования высокого уровня для многопроцессорной обработки , языков аннотаций и систем моделирования на основе событий для аппаратных и программных архитектур, Лакхэм опубликовал более 100 технических статей, две из которых получили награду Best Paper Awards отАссоциация вычислительной техники (ACM) и Институт инженеров по электротехнике и электронике (IEEE).

Он родился в Кингстоне, Ямайка и вырос в Лондоне в The Blitz из Второй мировой войны . Он имеет степени магистра наук (M.Sc.) из Лондона и доктора философии (Ph.D.) Массачусетского технологического института (MIT) в области математики и информатики .

Ссылки [ править ]

  1. ^ Лакхэм, Дэвид. «Дэвид Лакхэм» . Электротехника . Стэнфордский университет . Дата обращения 22 ноября 2020 .
  2. ^ Маккарти, Дж . ; Brayton, R .; Эдвардс, Д .; Фокс, П .; Ходс, Л .; Luckham, D .; Maling, K .; Парк, Д .; Рассел, С. (март 1960). Руководство программиста LISP I (PDF) . Бостон , Массачусетс : Группа искусственного интеллекта, Вычислительный центр Массачусетского технологического института и исследовательская лаборатория . ISBN  978-0262130110. Проверено 11 мая 2010 года .
  3. ^ Luckham, Дэвид (1 мая 2002). Сила событий: введение в сложную обработку событий в распределенных корпоративных системах . Эддисон-Уэсли Профессионал. ISBN 978-0201727890. Дата обращения 22 ноября 2020 .
  4. ^ Luckham, Дэвид (6 декабря 2011). Обработка событий для бизнеса: организация предприятия в режиме реального времени . Джон Вили и сыновья. ISBN 978-0-470-53485-4. Дата обращения 22 ноября 2020 .

Внешние ссылки [ править ]

  • Официальный сайт , Стэнфорд
  • Краткая биография на Complexevents.com
  • Дэвид Лакхэм в проекте « Математическая генеалогия»