Дэвид Лакхэм
Дэвид Лакхэм | |
---|---|
Рожденный | |
Национальность | Ямайский |
Гражданство | Великобритания , США |
Альма-матер | доктор философии , Массачусетский технологический институт |
Известный | Лисп Автоматизированное доказательство теорем Стэнфордский Паскаля верификатор Сложная обработка событий Рациональное программное обеспечение |
Научная карьера | |
Поля | Информатика |
Учреждения | Калифорнийский университет в Лос-Анджелесе (UCLA) Стэнфордский университет |
Веб-сайт | профили |
Дэвид Лакхэм — почетный профессор электротехники Стэнфордского университета . [1] Будучи аспирантом Массачусетского технологического института (MIT), он был одним из разработчиков первых систем для языка программирования Lisp . [2]
Он наиболее известен как создатель комплексной обработки событий (CEP), предложенной в его книге 2002 года «Сила событий» . [3] CEP состоит из набора концепций и методов обработки событий в реальном времени и извлечения информации из потоков событий по мере их поступления. С тех пор CEP стала технологией, позволяющей использовать многие системы, которые используются для принятия немедленных мер в ответ на входящие потоки событий. В этой книге описаны приложения, которые сейчас можно найти во многих секторах бизнеса, включая торговые системы на фондовом рынке, мобильные устройства, интернет-операции, обнаружение мошенничества, транспортную отрасль и сбор правительственной разведки. В книге также описываются передовые методы обработки событий, такие как абстракция событий и иерархии событий, которые еще не получили широкого распространения. Последняя книга Лакхема — «Обработка событий для бизнеса: организация предприятия в реальном времени» . [4]
Лакхэм занимал должности преподавателей и приглашал преподавателей математики и информатики в восьми крупных университетах Европы и США. Он был соучредителем Rational Software , Inc. в 1981 году. Он предоставил компилятор для языка Ada , на котором были разработаны первые продукты компании, и был членом первоначальной группы разработчиков программного обеспечения. Признанный лидер в области языков программирования высокого уровня для многопроцессорной обработки , языков аннотаций и систем моделирования на основе событий как для аппаратных, так и для программных архитектур, Лакхэм опубликовал более 100 технических статей, две из которых получили награду Best Paper Awards от Ассоциации вычислительной техники. (ACM) и Институт инженеров по электротехнике и электронике (IEEE).
Он родился в Кингстоне, Ямайка , и вырос в Лондоне во время войны мировой Второй . Он имеет степень магистра наук (MSc.) в Лондоне и доктора философии (Ph.D.) Массачусетского технологического института (MIT) в области математики и информатики .
Ссылки [ править ]
- ^ Лакхэм, Дэвид. «Дэвид Лакэм» . Электротехника . Стэнфордский университет . Проверено 22 ноября 2020 г.
- ^ Маккарти, Дж .; Брайтон, Р.; Эдвардс, Д.; Фокс, П .; Ходс, Л. ; Лакхэм, Д.; Малинг, К.; Парк, Д. ; Рассел, С. (март 1960 г.). Руководство программиста LISP I (PDF) . Бостон , Массачусетс : Группа искусственного интеллекта, Вычислительный центр и исследовательская лаборатория Массачусетского технологического института. ISBN 978-0262130110 . Проверено 11 мая 2010 г.
- ^ Лакхэм, Дэвид (1 мая 2002 г.). Сила событий: введение в сложную обработку событий в распределенных корпоративных системах . Аддисон-Уэсли Профессионал. ISBN 978-0201727890 . Проверено 22 ноября 2020 г.
- ^ Лакхэм, Дэвид (6 декабря 2011 г.). Обработка событий для бизнеса: организация предприятия в режиме реального времени . Джон Уайли и сыновья. ISBN 978-0-470-53485-4 . Проверено 22 ноября 2020 г.