Мартин Абади
Мартин Абади | |
|---|---|
| Рожденный | 1963 (60–61 год) |
| Образование | Доктор философии , Стэнфордский университет , 1987 г. |
| Известный | Логика Берроуза – Абади – Нидхэма Бэби Модуль-3 Теория объектов |
| Научная карьера | |
| Поля | Информатика Криптография |
| Учреждения | Google Калифорнийский университет, Санта-Крус Колледж Франции |
| Докторантура | Зоар Манна |
Мартин Абади (1963 г.р.) [1] — аргентинский ученый-компьютерщик , работает в Google с 2024 года. [update]. [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]
Ссылки
[ редактировать ]- ^ «Биография: Информатика и вычислительные науки: Мартин Абади» . Коллеж де Франс . 2010–2011 гг . Проверено 5 марта 2021 г.
- ^ «Люди: Мартин Абади» . Google Исследования . Проверено 28 февраля 2024 г.
- ^ «Симпозиум IEEE по безопасности и конфиденциальности 2019» . www.ieee-security.org . Проверено 28 февраля 2024 г.
- ^ Абади, Мартин; Карделли, Лука (9 августа 1996 г.). Теория объектов (Исправленная ред.). Спрингер. ISBN 978-0387947754 .
- ^ Абади, Мартин; Бархам, Пол; Чен, Цзяньминь; Чен, Чжифэн; Дэвис, Энди; Дин, Джеффри; Девин, Матье; Гемават, Санджай; Ирвинг, Джеффри; Айсард, Майкл; Кудлур, Манджунатх; Левенберг, Джош; Монга, Раджат; Мур, Шерри; Мюррей, Дерек Г. (2016). TensorFlow: система крупномасштабного машинного обучения . Ассоциация ЮСЕНИКС. стр. 265–283. ISBN 978-1-931971-33-1 .
- ^ «Мартин Абади» . Награды АКМ . Ассоциация вычислительной техники. 2008 год . Проверено 5 марта 2021 г.
- ↑ Указ президента Французской Республики от 7 сентября 2010 г. о назначении Абади, профессора Калифорнийского университета в Санта-Крус, штатным временным профессором на 2010-2011 учебный год,
- ^ «Национальная инженерная академия избирает 83 члена и 16 иностранных членов» . Национальная инженерная академия (НАЭ) . Проверено 9 февраля 2018 г.
- ^ «Карлос Абади» . Мир филантропии . 3 мая 2010 г. Архивировано из оригинала 24 февраля 2021 г. . Проверено 24 февраля 2021 г.
Внешние ссылки
[ редактировать ]- Официальный сайт UCSC
- 1963 года рождения
- Живые люди
- Американские ученые-компьютерщики
- Преподаватели компьютерной безопасности
- Выпускники инженерной школы Стэнфордского университета
- Калифорнийский университет, факультет Санта-Крус
- Члены Ассоциации вычислительной техники 2008 г.
- Гугл люди
- Члены Национальной инженерной академии США
- Аргентинские эмигранты в США
- Евреи-мизрахи XXI века
- Сирийские евреи
- Аргентинцы сирийско-еврейского происхождения