Manuel Blum - Manuel Blum
Manuel Blum (ur. 26 kwietnia 1938) to wenezuelsko-amerykański informatyk, który w 1995 roku otrzymał nagrodę Turinga „W uznaniu jego wkładu w podstawy teorii złożoności obliczeniowej i jej zastosowania w kryptografii i sprawdzaniu programów”.
Edukacja
Blum urodził się w żydowskiej rodzinie w Wenezueli. Blum kształcił się na MIT , gdzie uzyskał tytuł licencjata i magistra elektrotechniki odpowiednio w 1959 i 1961 r. oraz doktorat. w matematyce w 1964 pod kierunkiem Marvina Minsky'ego .
Kariera zawodowa
Do 2001 roku pracował jako profesor informatyki na Uniwersytecie Kalifornijskim w Berkeley . W latach 2001-2018 był profesorem informatyki Bruce Nelson na Carnegie Mellon University , gdzie jego żona Lenore Blum była również profesorem informatyki. Nauki ścisłe.
W 2002 roku został wybrany do Narodowej Akademii Nauk Stanów Zjednoczonych . W 2006 roku został wybrany członkiem National Academy of Engineering za wkład w abstrakcyjną teorię złożoności, wnioskowanie indukcyjne, protokoły kryptograficzne oraz teorię i zastosowania kontrolerów programów.
W 2018 roku on i jego żona Lenore zrezygnowali z Carnegie Mellon University w proteście przeciwko seksizmowi po zmianie struktury zarządzania Project Olympus, która doprowadziła do seksistowskiego traktowania jej jako dyrektora i wykluczenia innych kobiet z działań projektowych.
Badania
W latach 60. opracował aksjomatyczną teorię złożoności, która była niezależna od konkretnych modeli maszyn. Teoria ta opiera się na numeracji Gödla i aksjomatach Bluma . Mimo że teoria nie opiera się na żadnym modelu maszyny, daje ona konkretne wyniki, takie jak twierdzenie o kompresji, twierdzenie o przerwie, twierdzenie o uczciwości i twierdzenie o przyspieszeniu Bluma .
Niektóre z jego innych prac obejmują protokół rzucania monetą przez telefon , medianę median ( algorytm liniowego wyboru czasu ), generator liczb pseudolosowych Blum Blum Shub , kryptosystem Blum-Goldwasser i ostatnio CAPTCHA .
Blum jest również znany jako doradca wielu wybitnych badaczy. Wśród jego doktoratu. studenci są Leonard Adleman , Dana Angluin , Shafrira Goldwasser , Mor Harchol-Balter , Russell Impagliazzo , Silvio Micali , Gary Miller , Moni Naora , Steven Rudich , Michael Sipser , Ronitt Rubinfeld , Umesh Vazirani , Vijay Vazirani , Luis von Ahn i Ryan Williams .
Zobacz też
- Lista Wenezuelczyków
- Problem izomorfizmu grafu
- Nieinteraktywny dowód z wiedzą zerową
- Rzucanie monetą kwantową
- Sortowanie naleśników
Bibliografia