stringtranslate.com

Сильвио Микали

Сильвио Микали (родился 13 октября 1954 года) — итальянский учёный-компьютерщик , профессор Массачусетского технологического института и основатель Algorand , протокола блокчейн-криптовалюты с доказательством доли владения. Исследования Микали в Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института сосредоточены на криптографии и информационной безопасности . [4] [5]

В 2012 году он получил премию Тьюринга за свою работу в области криптографии.

Личная жизнь

Микали окончил факультет математики в Римском университете Ла Сапиенца в 1978 году и получил степень доктора философии в области компьютерных наук в Калифорнийском университете в Беркли в 1982 году; [6] за исследования под руководством Мануэля Блюма . [2] Микали работает на факультете Массачусетского технологического института , на кафедре электротехники и компьютерных наук, с 1983 года. Он также работал на факультете Пенсильванского университета , Университета Торонто и Университета Цинхуа . [7] Его исследовательские интересы включают криптографию, нулевое разглашение, псевдослучайную генерацию, защищенные протоколы и проектирование механизмов.

Карьера

Микали наиболее известен некоторыми из своих фундаментальных ранних работ по криптосистемам с открытым ключом , псевдослучайным функциям , цифровым подписям , забывчивой передаче , безопасным многосторонним вычислениям и является одним из соавторов доказательств с нулевым разглашением . [8] Среди его бывших аспирантов — Михир Белларе , Бонни Бергер , Шай Халеви , Рафаил Островский , Цзин Чен, Рафаэль Пасс, Крис Пейкерт и Филипп Рогауэй . [2] [3]

В 2001 году Микали стал соучредителем CoreStreet Ltd, компании-разработчика программного обеспечения, изначально базировавшейся в Кембридже, штат Массачусетс, которая реализовала патенты Микали, включающие проверку статуса цифровых сертификатов (в основном применимых к крупным корпоративным и государственным проектам цифровой и физической идентификации). Микали работал главным научным сотрудником в CoreStreet. CoreStreet была куплена ActivIdentity в 2009 году. [9]

В начале 2000-х годов Микали также основал Peppercoin , систему микроплатежей, которая была приобретена в 2007 году.

В 2017 году Микали основал Algorand . [10]

Награды и почести

Микали выиграл премию Гёделя в 1993 году. [11] Он получил премию RSA за выдающиеся достижения в области математики в 2004 году. [12] В 2007 году он был избран членом Национальной академии наук и членом Международной ассоциации криптологических исследований (IACR). Он также является членом Национальной академии инженерии и Американской академии искусств и наук . [13] Он получил премию Тьюринга [1] за 2012 год вместе с Шафи Голдвассером за их работу в области криптографии. [14] В 2015 году Университет Салерно признал его исследования, присвоив ему степень honoris causa в области компьютерных наук. Он был избран членом ACM в 2017 году. [15]

Ссылки

  1. ^ abc Savage, Neil (2013). «Вероятные доказательства: Шафи Голдвассер и Сильвио Микали заложили основы современной криптографии, внеся вклад в интерактивные и нулевые доказательства». Сообщения ACM . 56 (6): 22. doi :10.1145/2461256.2461265. S2CID  26769891. Значок закрытого доступа
  2. ^ abcdefgh Сильвио Микали в проекте «Генеалогия математики»
  3. ^ ab "Резюме" (PDF) . люди.csail.mit.edu .
  4. ^ Сильвио Микали на библиографическом сервере DBLP
  5. ^ Профиль автора Сильвио Микали на странице ACM Digital Library
  6. ^ "Домашняя страница Сильвио". people.csail.mit.edu . Получено 2018-03-12 .
  7. ^ "Сильвио Микали". amturing.acm . Проверено 14 августа 2023 г.
  8. ^ Блюм, М.; Фельдман, П.; Микали, С. (1988). "Неинтерактивное нулевое знание и его применение". Труды двадцатого ежегодного симпозиума ACM по теории вычислений - STOC '88 . стр. 103. doi :10.1145/62212.62222. ISBN 0897912640. S2CID  7282320.
  9. ^ «Основатель CoreStreet получил награду».
  10. ^ "Сильвио Микали | MIT CSAIL" . www.csail.mit.edu . Проверено 10 мая 2021 г.
  11. ^ "Премия Гёделя 1993 года". sigact.acm.org . Архивировано из оригинала 2015-12-08 . Получено 2018-04-21 .
  12. ^ "Премия конференции RSA по математике". cseweb.ucsd.edu . Архивировано из оригинала 2019-12-05 . Получено 2020-08-31 .
  13. ^ "MIT CSAIL Теория вычислений". theory.csail.mit.edu . Получено 2018-03-12 .
  14. ^ "Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography". ACM. Архивировано из оригинала 16 марта 2013 года . Получено 13 марта 2013 года .
  15. ^ ACM отмечает стипендиатов 2017 года за преобразовательный вклад и развитие технологий в цифровую эпоху, Ассоциация вычислительной техники, 11 декабря 2017 г. , получено 13 ноября 2017 г.