Мартин Абади (родился в 1963 году) [1] — аргентинский учёный-компьютерщик , работающий в Google с 2024 года [обновлять]. [2] Он получил степень доктора философии (PhD) в области компьютерных наук в Стэнфордском университете в 1987 году, будучи учеником Зохара Манны .
Он хорошо известен своими работами по компьютерной безопасности , языкам программирования и машинному обучению . В области безопасности Абади разработал (совместно с Майклом Берроузом и Роджером Нидхэмом ) логику Берроуза–Абади–Нидхэма для анализа протоколов аутентификации и вместе с Нидхэмом получил премию IEEE S&P Test of Time за свою работу « Осторожная инженерная практика для криптографических протоколов». [3]
В области исследований языков программирования он опубликовал книгу (совместно с Лукой Карделли ) «Теория объектов» , в которой изложил формальные исчисления для семантики объектно-ориентированных языков программирования. [4] Кроме того, в 1993 году он опубликовал язык программирования Baby Modula-3 , безопасное подмножество или подъязык Modula -3 , основанный на функциональном программировании и идеалах теории множеств .
Абади является основным разработчиком фреймворка машинного обучения Tensorflow . [5] Он внес вклад в разработку дифференциально-частного стохастического градиентного спуска. [1]
Он является членом Ассоциации вычислительной техники 2008 года . [6] В 2011 году он был временным профессором в Коллеж де Франс в Париже , [7] преподавая компьютерную безопасность . Он был избран членом Национальной инженерной академии в 2018 году [8] за вклад в формальную теорию компьютерной безопасности.
Он состоит в родственных связях с Муссой Абади , сирийским евреем и членом французского Сопротивления во время Второй мировой войны , а также с инвестиционным банкиром и филантропом Карлосом Абади. [9]