Jump to content

Дэвид Лакхэм

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

Дэвид Лакхэм — почетный профессор электротехники Стэнфордского университета . [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) в области математики и информатики .

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

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

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

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: dc0210577d18464c3ec95a5dff5b4ce4__1675593780
URL1:https://arc.ask3.ru/arc/aa/dc/e4/dc0210577d18464c3ec95a5dff5b4ce4.html
Заголовок, (Title) документа по адресу, URL1:
David Luckham - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)