Silvio Micali (born October 13, 1954) is an Italian computer scientist, professor at the Massachusetts Institute of Technology and the founder of Algorand, a proof-of-stake blockchain cryptocurrency protocol. Micali's research at the MIT Computer Science and Artificial Intelligence Laboratory centers on cryptography and information security.[4][5]
Silvio Micali | |
|---|---|
 | |
| Born | October 13, 1954 |
| Nationality | Italian |
| Alma mater | La Sapienza University of Rome UC Berkeley (PhD) |
| Known for | Blum–Micali algorithm Goldwasser–Micali cryptosystem GMR algorithm Zero-knowledge proof[1] Claw-free permutation Pseudorandom Functions Peppercoin Algorand Semantic security Verifiable secret sharing |
| Awards |
|
| Scientific career | |
| Fields | Computer Science Cryptography |
| Institutions | University of Toronto University of Pennsylvania Tsinghua University MIT CS & AI Lab |
| Thesis | Randomness versus Hardness (1983) |
| Doctoral advisor | Manuel Blum[2] |
| Doctoral students | |
| Website | people |
In 2012, he received the Turing Award for his work in cryptography.
Personal life
editMicali graduated in mathematics at La Sapienza University of Rome in 1978 and earned a PhD degree in computer science from the University of California, Berkeley in 1982;[6] for research supervised by Manuel Blum.[2] Micali has been on the faculty at MIT, Electrical Engineering and Computer Science Department, since 1983. He's also served on the faculty of the University of Pennsylvania, University of Toronto, and Tsinghua University.[7] His research interests are cryptography, zero knowledge, pseudorandom generation, secure protocols, and mechanism design.
Career
editMicali is best known for some of his fundamental early work on public-key cryptosystems, pseudorandom functions, digital signatures, oblivious transfer, secure multiparty computation, and is one of the co-inventors of zero-knowledge proofs.[8] His former doctoral students include Mihir Bellare, Bonnie Berger, Shai Halevi, Rafail Ostrovsky, Jing Chen, Rafael Pass, Chris Peikert, and Phillip Rogaway.[2][3]
In 2001 Micali co-founded CoreStreet Ltd, a software company originally based in Cambridge, Massachusetts which implemented Micali's patents involving checking the status of digital certificates (mainly applicable to large enterprise and government-sized digital and physical identity projects). Micali served as Chief Scientist at CoreStreet. CoreStreet was bought by ActivIdentity in 2009.[9]
In the early 2000s Micali also founded Peppercoin, a micro-payments system which was acquired in 2007.
In 2017, Micali founded Algorand.[10]
Awards and honors
editMicali won the Gödel Prize in 1993.[11] He received the RSA Award for Excellence in Mathematics in 2004.[12] In 2007, he was selected to be a member of the National Academy of Sciences and a Fellow of the International Association for Cryptologic Research (IACR). He is also a member of the National Academy of Engineering and the American Academy of Arts and Sciences.[13] He received the Turing Award[1] for the year 2012 along with Shafi Goldwasser for their work in the field of cryptography.[14] In 2015 the University of Salerno acknowledged his studies by giving him an honoris causa degree in Computer Science. He was elected as an ACM Fellow in 2017.[15]
References
edit- ^ a b c Savage, Neil (2013). "Proofs probable: Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs". Communications of the ACM. 56 (6): 22. doi:10.1145/2461256.2461265. S2CID 26769891.
- ^ a b c d e f g h Silvio Micali at the Mathematics Genealogy Project
- ^ a b "CV" (PDF). people.csail.mit.edu.
- ^ Silvio Micali at DBLP Bibliography Server
- ^ Silvio Micali author profile page at the ACM Digital Library
- ^ "Silvio's Home Page". people.csail.mit.edu. Retrieved 2018-03-12.
- ^ "Sylvio Micali". amturing.acm. Retrieved 14 August 2023.
- ^ Blum, M.; Feldman, P.; Micali, S. (1988). "Non-interactive zero-knowledge and its applications". Proceedings of the twentieth annual ACM symposium on Theory of computing - STOC '88. p. 103. doi:10.1145/62212.62222. ISBN 0897912640. S2CID 7282320.
- ^ "CoreStreet Founder Wins Award".
- ^ "Silvio Micali | MIT CSAIL". www.csail.mit.edu. Retrieved 2021-05-10.
- ^ "1993 Gödel Prize". sigact.acm.org. Archived from the original on 2015-12-08. Retrieved 2018-04-21.
- ^ "RSA conference award for mathematics". cseweb.ucsd.edu. Archived from the original on 2019-12-05. Retrieved 2020-08-31.
- ^ "MIT CSAIL Theory of Computation". theory.csail.mit.edu. Retrieved 2018-03-12.
- ^ "Goldwasser, Micali Receive ACM Turing Award for Advances in Cryptography". ACM. Archived from the original on 16 March 2013. Retrieved 13 March 2013.
- ^ ACM Recognizes 2017 Fellows for Making Transformative Contributions and Advancing Technology in the Digital Age, Association for Computing Machinery, December 11, 2017, retrieved 2017-11-13