**Manuel Blum** (s. 26. huhtikuuta 1938 Caracas) on tietojenkäsittelytieteilijä, joka sai Turing-palkinnon vuonna 1995. Turing-palkinnon hän sai tunnustuksena panoksestaan laskennan vaativuusteorian perusteiden kehittämisessä ja sen soveltamisesta kryptografiaan ja ohjelmien tarkistamiseen.

Henkilöhistoria
---------------

Blumin vanhemmat olivat juutalaisia romanialaisia (toisen maailmansodan aikaan, nykyään alue on osa Ukrainaa), jotka pakenivat holokaustia. Blumin äidinkieli on saksa. Hän kertoo kiinnostuksensa tietojenkäsittelytieteeseen heränneen jo lapsuudessa, kun hän ihmetteli espanjaa puhuvien paikallisten nopeaa puhetta. Hän ajatteli, että jos hän ymmärtäisi aivojen toimintaa, hän oppisi espanjaakin paremmin.

Blum opiskeli MIT:ssä sähkötekniikkaa ja keskittyi aivojen sähköisen toiminnan tutkimiseen. Hän valmistui sieltä vuonna 1959 kandidaatiksi ja vuonna 1961 maisteriksi. Tohtoriksi hän väitteli samasta korkeakoulusta vuonna 1964. Väitöskirja oli matematiikan alalta ja sitä ohjasi professori Marvin Minsky, hänkin Turing-palkittu.

Tietotekniikan pariin Blumia ohjasi tyttöystävänsä ja tuleva vaimonsa Leonore Blum, joka opiskeli Carnegien teknillisessä korkeakoulussa (Carnegie Mellon -yliopisto). Leonoren opettaja oli ensimmäinen Turing-palkinnon saaja Alan J. Perlis. Leonore näytti Blumille vasta perustetun tietotekniikan opintosuunnan kurssien kotitehtäviä ja Manuel innostui niistä.

Blum työskenteli vuoteen 1999 asti tietojenkäsittelytieteen professorina Kalifornian yliopistossa. Sieltä hän siirtyi professoriksi Carnegie Mellon -yliopistoon. Hänen poikansa Avrim Blum ja vaimonsa ovat hekin Carnegie Mellonin professoreita.

Työt
----

1960-luvulla Blum kehitti aksiomaattisen laskettavuusteorian, joka on riippumaton tietokoneen käytännön toteutuksesta. Teoria perustuu Gödel-numerointiin ja hänen itsensä kehittämiin Blum-aksioomiin. Abstraktiudestaan huolimatta Blumin teorialla on merkittäviä käytännön sovelluksia, kuten ohjelmien laskennan vaativuuden luokittelu ja arvioiminen tunnettuihin matemaattisiin funktioihin nähden.

Muutamia muita Blumin töitä ovat protokolla kolikon heittämiseksi puhelimessa, valinta-algoritmi, joka toimii lineaarisessa ajassa, Blum Blum Shub-satunnaislukugeneraattori sekä edellistä käyttävä Blum-Goldwasser-salausjärjestelmä. 2000-luvulla Blum on kehittänyt automatisoituja Turingin testejä.

Poikkeuksellisen monet hänen ohjaamistaan väitöskirjan tekijöistä ovat tehneet huomattavia tieteellisiä työuria. Leonard Adleman, Shafi Goldwasser, Russell Impagliazzo, Silvio Micali, Moni Naor, Steven Rudich, Michael Sipser, Umesh ja Vijay Vazirani sekä Luis von Ahn ovat eräitä Blumin menestyneimmistä oppilaista.

Lähteet
-------

1. ↑  Lenore Blum biography *www-groups.dcs.st-and.ac.uk*. Viitattu 16.2.2019.
2. ↑
3. ↑   (Arkistoitu – Internet Archive)

Aiheesta muualla
----------------

* Blumin kotisivut Carnegie Mellon -yliopistossa

  


|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * n
* k
* m
Turing-palkinnon saajat |
| --- |
|  |
| 1960-luku | 
* 1966: Alan Perlis
* 1967: Maurice V. Wilkes
* 1968: Richard Hamming
* 1969: Marvin Minsky

 |
|  |
| 1970-luku | 
* 1970: James H. Wilkinson
* 1971: John McCarthy
* 1972: Edsger Dijkstra
* 1973: Charles Bachman
* 1974: Donald Knuth
* 1975: Allen Newell, Herbert Simon
* 1976: Michael O. Rabin, Dana Scott
* 1977: John Backus
* 1978: Robert W. Floyd
* 1979: Kenneth E. Iverson

 |
|  |
| 1980-luku | 
* 1980: C. Antony R. Hoare
* 1981: Edgar F. Codd
* 1982: Stephen A. Cook
* 1983: Ken Thompson, Dennis Ritchie
* 1984: Niklaus Wirth
* 1985: Richard M. Karp
* 1986: John Hopcroft, Robert Tarjan
* 1987: John Cocke
* 1988: Ivan Sutherland
* 1989: William Kahan

 |
|  |
| 1990-luku | 
* 1990: Fernando J. Corbató
* 1991: Robin Milner
* 1992: Butler W. Lampson
* 1993: Juris Hartmanis, Richard E. Stearns
* 1994: Edward Feigenbaum, Raj Reddy
* 1995: Manuel Blum
* 1996: Amir Pnueli
* 1997: Douglas Engelbart
* 1998: Jim Gray
* 1999: Frederick P. Brooks

 |
|  |
| 2000-luku | 
* 2000: Andrew Chi-Chih Yao
* 2001: Ole-Johan Dahl, Kristen Nygaard
* 2002: Ronald Rivest, Adi Shamir, Leonard M. Adleman
* 2003: Alan Kay
* 2004: Vinton G. Cerf, Robert E. Kahn
* 2005: Peter Naur
* 2006: Frances E. Allen
* 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis
* 2008: Barbara Liskov
* 2009: Charles P. Thacker

 |
|  |
| 2010-luku | 
* 2010: Leslie G. Valiant
* 2011: Judea Pearl
* 2012: Silvio Micali, Shafi Goldwasser
* 2013: Leslie Lamport
* 2014: Michael Stonebraker
* 2015: Whitfield Diffie, Martin Hellman
* 2016: Tim Berners-Lee
* 2017: John L. Hennessy, David A. Patterson
* 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCunn
* 2019: Edwin Catmull, Pat Hanrahan

 |
|  |
| 2020-luku | 
* 2020: Alfred Aho, Jeffrey Ullman
* 2021: Jack Dongarra
* 2022: Robert Metcalfe

 |

 |

|  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 

| Auktoriteettitunnisteet Muokkaa Wikidatassa |
| --- |
|  |
| Tieteilijät | 
* Association for Computing Machinery
* DBLP
* MathSciNet
* Mathematics Genealogy Project
* zbMATH

 |
|  |
| Muut | 
* SNAC

 |

 |