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 [ sunting | sunting sumber ]

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 [ sunting | sunting sumber ]

Pada tahun 60an, Blum mengembangkan teori kompleksitas aksiomatik yang independen terhadap model mesin konkret. Teori ini dikembangkan berdasarkan penomoran Godel 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 [ sunting | sunting sumber ]

• Aksioma kompleksitas Blum
• Teorema percepatan Blum
• Blum Blum Shub
• Sistem kripto Blum-Goldwasser