Manuel Blum
Kelahiran
26 April 1938
(87 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
(mul)
,
John Thomas Gill, III
(en)
,
Hal Wasserman
(en)
,
Troy Alexander Shahoumian
(mul)
,
Elizabeth Ann Sweedyk
(mul)
,
Diane Hernek
(en)
,
William Schulze Evans
(en)
,
Peter Stewart Gemmell
(mul)
,
Nicholas John Hopper
(en)
,
René Peralta
(en)
,
Howard Katseff
(mul)
,
Ion S. Filotti
(mul)
,
Andy N.-C. Kang
(mul)
,
Tsun S. Chow
(mul)
,
Ivan da Costa Marques
(en)
,
William J. Sakoda
(mul)
,
Jeremiah Blocki
(en)
,
Brendan Meeder
(mul)
,
Mehdi Samadi
(mul)
,
Sahil Singla
(mul)
,
Shafrira Goldwasser
,
Silvio Micali
dan
Ronitt Rubinfeld
Pasangan nikah
Lenore Blum
(en)
Anak
Avrim Blum
(en)
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
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
dan
. Meskipun tidak menggunakan model mesin yang spesifik, teori ini mampu menghasilkan hasil yang konkret seperti
,
,
dan
yang terkenal.
Karya lainnya antaralah pembangkit bilangan protoacak
,
, dan yang terakhir adalah
CAPTCHA
.
Lihat pula