Manuel Blum
 |
|
| Kelahiran | 26 April 1938 (86 tahun)
Caracas |
|---|
|
|
|
|
|
|
|
|
| Pendidikan | Institut Teknologi Massachusetts |
|---|
|
| Penasihat doktoral | Marvin Minsky |
|---|
| Spesialisasi | Ilmu komputer |
|---|
| Pekerjaan | ilmuwan komputer, dosen |
|---|
| Bekerja di | Universitas California, Berkeley
Universitas Carnegie Mellon |
|---|
|
| Murid doktoral | Luis von Ahn, Gary Miller (en)  , Leonard Adleman, Michael Sipser (mul) , Vijay Vazirani (en) , Sampath Kannan (en) , Joan Boyar (en) , Mor Harchol-Balter (en) , Russell Impagliazzo (en) , Steven Rudich (en) , Jeffrey Shallit (en) , Kenneth Lawrence Manders (en) , John Thomas Gill, III (en) , Hal Wasserman (en) , Troy Alexander Shahoumian (en) , Elizabeth Ann Sweedyk (en) , Diane Hernek (en) , William Schulze Evans (en) , Peter Stewart Gemmell (en) , Nicholas John Hopper (en) , René Peralta (en) , Howard Katseff (en) , Ion S. Filotti (en) , Andy N.-C. Kang (en) , Tsun S. Chow (en) , Ivan da Costa Marques (en) , William J. Sakoda (en) , Jeremiah Blocki (en) , Brendan Meeder (en) , Mehdi Samadi (en) , Sahil Singla (en) , Shafrira Goldwasser, Silvio Micali dan Ronitt Rubinfeld |
|---|
|
| Pasangan nikah | Lenore Blum (en) |
|---|
| Anak | Avrim Blum (en) |
|---|
Penghargaan |
|
| Situs web | cs.cmu.edu… |
|---|
Manuel Blum (lahir 26 April 1938 di Caracas, Venezuela) adalah seorang ilmuwan komputer yang menerima Turing Award pada tahun 1995 sebagai "penghargaan atas kontribusinya dalam fondasi teori kompleksitas komputasi dan aplikasinya ke dalam kriptografi dan pemeriksaan program".
Biografi
Blum meraih program sarjana dan master di MIT pada tahun 1959 dan 1961, dan program Ph.D. di bidang matematika pada tahun 1964 di bawah bimbingan Marvin Minsky.
Dia kemudian bekerja sebagai profesor di bidang ilmu komputer di University of California, Berkeley hingga 2000.
Karya
Pada tahun 60an, Blum mengembangkan teori kompleksitas aksiomatik yang independen terhadap model mesin konkret. Teori ini dikembangkan berdasarkan penomoran Gödel dan aksioma Blum. Meskipun tidak menggunakan model mesin yang spesifik, teori ini mampu menghasilkan hasil yang konkret seperti teorema kompresi, teorema gap, teorema kejujuran dan teorema percepatan Blum yang terkenal.
Karya lainnya antaralah pembangkit bilangan protoacak Blum Blum Shub, sistem kripto Blum-Goldwasser, dan yang terakhir adalah CAPTCHA.
Lihat pula
.jpg)
