WikiDer > Мартин Абади

Martín Abadi

Мартин Абади
Родившийся1963 (56–57 лет)
Альма-матерСтэндфордский Университет, 1987
Научная карьера
ПоляКриптография
УчрежденияGoogle
Калифорнийский университет в Санта-Крус
ДокторантЗохар Манна

Мартин Абади (1963 г.р.)[1] является аргентинец специалист в области информатики, в настоящее время работает в Google.[2] Он заработал кандидат наук из Стэндфордский Университет в 1987 году как студент Зохар Манна.

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

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

Смотрите также

Библиография

  • Теория объектов ISBN 0-387-94775-2

Рекомендации

  1. ^ https://www.college-de-france.fr/site/en-martin-abadi/index.htm
  2. ^ https://research.google/people/abadi/
  3. ^ "Мартин Абади". Ассоциация вычислительной техники. Получено 15 мая 2011.
  4. ^ Указ Президента Французской Республики, 7 сентября 2010 г., назначив г-на Мартина Абади, профессором Калифорнийский университет, штатным временным профессором на 2010-2011 учебный год
  5. ^ «Национальная инженерная академия избирает 83 члена и 16 иностранных членов». Веб-сайт NAE. Получено 9 февраля 2018.

внешняя ссылка