Bloom, Manuel
| Manuel Blum | |
|---|---|
| Manuel Blum | |
| Syntymäaika | 26. huhtikuuta 1938 (84-vuotiaana) |
| Syntymäpaikka | Caracas , Venezuela |
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka | Carnegie Mellonin yliopisto |
| Alma mater | Massachusettsin Teknologian Instituutti |
| tieteellinen neuvonantaja | Marvin Lee Minsky |
| Opiskelijat | G. Miller , L. Adleman |
| Tunnetaan | Bloom-Blum-Fur coat algoritmi |
| Palkinnot ja palkinnot | Turing-palkinto jne. |
| Verkkosivusto | cs.cmu.edu/~mblum/ |
| Mediatiedostot Wikimedia Commonsissa | |
Manuel Blum ( espanjaksi: Manuel Blum ; syntynyt 26. huhtikuuta 1938 , Caracas , Venezuela ) on tietojenkäsittelytieteilijä ja tietojenkäsittelytieteen professori Carnegie Mellon -yliopistossa . Hänelle myönnettiin Turing Award 1995 saavutuksistaan laskennallisen monimutkaisuusteorian perusteiden tutkimisessa ja sen soveltamisessa kryptografiaan ja ohjelmien todentamiseen .
Elämäkerta
Manuel Blum syntyi Caracasissa äskettäin Romaniasta tulleille juutalaisille maahanmuuttajille ; hänen isänsä oli kelloseppä Tšernivtsissä . [1] [2] Opiskeli Massachusetts Institute of Technologyssa , jossa hän suoritti kandidaatin ja maisterin tutkinnot sähkötekniikassa ja tietojenkäsittelytieteessä ( 1959 ja 1961 ) ja sitten tohtorin tutkinnon matematiikassa vuonna 1964 Marvinin johdolla . Minsky [3] . Vuoteen 1999 asti Blume työskenteli apulaisprofessorina ja professorina Kalifornian yliopistossa Berkeleyssä . Siitä lähtien hän on työskennellyt ja opettanut Carnegie Mellon -yliopistossa . Hänen vaimonsa Lenore [4] ja poika Avrim [5] [6] työskentelevät tietojenkäsittelytieteen professoreina samassa yliopistossa .
1960-luvulla Blume kehitti suorituskonemallista riippumattoman laskennallisen monimutkaisuuden aksiomaattisen teorian, joka perustuu Gödel-numerointiin . Hänen tekijänsä sisältää käsitteitä, kuten sitoutumisjärjestelmä , valintaalgoritmi , Bloom-Blum-Shuba-algoritmi , Bloom-Goldwasserin julkisen avaimen salausjärjestelmä ja CAPTCHA - bottien tunnistusmekanismi .
Hänen ohjauksessaan monet opiskelijat valmistuivat tohtoriksi ja heistä tuli myöhemmin kuuluisia tietotekniikan tutkijoita. Heidän keskuudessaan:
- Leonard Adleman
- Dana Angluin
- Gary Miller
- Shafi Goldwasser
- Russell Impagliazzo
Palkinnot
- 1977 - Distinguished Teaching Award, UC Berkeley
- 1995 - Turing-palkinto "kunnianosoituksena hänen työstään laskennallisen monimutkaisuuden teorian perusteista ja sen soveltamisesta kryptografiaan ja ohjelmien todentamiseen " [7]
- 2007 - Herbert A. Simonin opetuspalkinto [8]
Muistiinpanot
- ↑ Rakkautta Caracasissa . Haettu 22. maaliskuuta 2013. Arkistoitu alkuperäisestä 8. heinäkuuta 2013.
- ↑ Lenore Blum . Haettu 22. maaliskuuta 2013. Arkistoitu alkuperäisestä 21. lokakuuta 2012.
- ↑ M. Blumen sivu Arkistoitu 13. lokakuuta 2006 Wayback Machinessa UC Berkeleyn verkkosivuilla
- ↑ Lenore Blumin kotisivu . Haettu 8. helmikuuta 2009. Arkistoitu alkuperäisestä 18. joulukuuta 2008.
- ↑ Avrim Blumin kotisivu . Haettu 8. helmikuuta 2009. Arkistoitu alkuperäisestä 21. maaliskuuta 2009.
- ↑ Isä, äiti ja poika muodostavat tehokkaan tietojenkäsittelytiimin CMU:ssa . Haettu 22. maaliskuuta 2013. Arkistoitu alkuperäisestä 8. heinäkuuta 2013.
- ↑ ACM Award Citation / Manuel Blum (linkki ei saatavilla)
- ↑ SCS:N TIEDEKUNNAN PALKINNOT . Haettu 8. helmikuuta 2009. Arkistoitu alkuperäisestä 9. maaliskuuta 2009.
Katso myös
Linkit
- M. Blumen sivu Carnegie Mellon Universityn verkkosivuilla (englanniksi)
- M. Blumen sivu Berkeleyn Kalifornian yliopiston verkkosivuilla (englanniksi)
| Turing-palkinnon voittajat | |
|---|---|
| |
 Temaattiset sivustot | |
|---|---|
| Sanakirjat ja tietosanakirjat |