Из Википедии, бесплатной энциклопедии
  (Перенаправлено от Мартина Абади )
Перейти к навигации Перейти к поиску

Мартин Абади
Родившийся1963 (57–58 лет)
Аргентина
ОбразованиеДоктор философии , Стэнфордский университет , 1987 г.
ИзвестенЛогика Барроуза – Абади – Нидхема
Baby Modula-3
Теория объектов
Научная карьера
ПоляКомпьютерные науки
Криптография
Учреждения
Калифорнийский университет Google , Санта-Крус-
Коллеж-де-Франс
ДокторантЗохар Манна

Мартин Абади (род. 1963) [1] - аргентинский ученый-компьютерщик , работает в Google с 2021 года . [2] Он получил степень доктора философии (PhD) в области информатики из Стэнфордского университета в 1987 году , будучи студентом Зохар Манна .

Он хорошо известен своими работами по компьютерной безопасности и языкам программирования , включая его статью (с Майклом Берроузом и Роджером Нидхэмом ) о логике Берроуза-Абади-Нидхема для анализа протоколов аутентификации, а также его книгу (с Лукой Карделли ) A Theory of Объекты , лежащие в основе формальных исчислений для семантики объектно-ориентированных языков программирования . [3]

В 1993 году он опубликовал языка программирования Детские Модулой-3 , безопасное подмножество или подъязыка в Modula-3 , на основе функционального программирования и теории множеств идеалов .

Он является членом Ассоциации вычислительной техники в 2008 году . [4] В 2011 году он был временным профессором Коллеж де Франс в Париже , [5] преподавая компьютерную безопасность . Он был избран членом Национальной инженерной академии в 2018 году. [6]

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

  1. ^ "Биография: информатика и вычислительные науки: Мартин Абади" . Коллеж де Франс . 2010–2011 гг . Проверено 5 марта 2021 года .
  2. ^ "Люди: Мартин Абади" . Google Research . Проверено 5 марта 2021 года .
  3. ^ Абади, Мартин; Карделли, Лука (9 августа 1996 г.). Теория объектов (исправленное ред.). Springer. ISBN 978-0387947754.
  4. ^ "Мартин Абади" . ACM Awards . Ассоциация вычислительной техники. 2008 . Проверено 5 марта 2021 года .
  5. ↑ Указ Президента Французской Республики от 7 сентября 2010 г. о назначении г-на Мартина Абади, профессора Калифорнийского университета , штатным временным профессором на 2010-2011 учебный год,
  6. ^ «Национальная инженерная академия избирает 83 члена и 16 иностранных членов» . Национальная инженерная академия (NAE) . Проверено 9 февраля 2018 .

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

  • Официальный сайт , UCSC