Введение

Итальянский американский учёный в области компьютерных наук (род. 1954)

Сильвио Микали (род. 13 октября 1954) — итальянский учёный в области компьютерных наук, профессор Массачусетского технологического института и основатель Algorand, криптографического протокола криптовалюты, использующего механизм доказательства доли владения (proof of stake). Исследования Микали, проводимые в Лаборатории компьютерных наук и искусственного интеллекта MIT, сосредоточены на криптографии и информационной безопасности. В 2012 году он был удостоен премии Тьюринга за вклад в криптографию.

Личная жизнь

Микали окончил Университет La Sapienza в Риме по специальности "математика" в 1978 году и получил степень доктора философии в области компьютерных наук в Калифорнийском университете в Беркли в 1982 году, под руководством Мануэля Блума. Его научные интересы включают криптографию, доказательства с нулевым разглашением, генерацию псевдослучайных чисел, разработку безопасных протоколов и теорию механизмов.

Карьера

Микали наиболее известен своими основополагающими ранними работами в области криптосистем с открытым ключом, псевдослучайных функций, цифровых подписей, протокола обмена без раскрытия информации, безопасных многосторонних вычислений, а также он является одним из изобретателей доказательств с нулевым разглашением. Среди его бывших аспирантов – Михир Белларе, Бонни Бергер, Шай Халеви, Рафаил Островский, Цзин Чен, Рафаэль Пасс, Крис Пейкерт и Филипп Рогавей. В начале 2000-х годов Микали также основал Peppercoin, систему микроплатежей, которая была приобретена в 2007 году. В 2017 году Микали основал Algorand.

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

Микали получил премию Гёделя в 1993 году. В 2004 году он был удостоен награды RSA за выдающиеся достижения в математике. В 2007 году его избрали членом Национальной академии наук и членом Международной ассоциации криптологических исследований (IACR). Он также является членом Национальной инженерной академии и Американской академии искусств и наук. В 2015 году Университет Салерно признал его вклад в науку, присвоив ему степень почётного доктора в области информатики. В 2017 году он был избран членом ACM.