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 году Университет Салерно признал его учебу, присвоив ему почетную степень в области компьютерных наук. В 2017 году он был избран членом ACM. [15]

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

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