Movatterモバイル変換


[0]ホーム

URL:


Naar inhoud springen
Wikipediade vrije encyclopedie
Zoeken

Manuel Blum

Uit Wikipedia, de vrije encyclopedie

Manuel Blum (Caracas,26 april1938) is eenAmerikaanstheoretisch informaticus. Hij ontwikkelde de axiomatischecomplexiteitstheorie en ontving mede daarvoor in 1995 eenTuring Award.

Manuel Blum samen met Lenore en Avrim Blum (1973)

Levensloop

[bewerken |brontekst bewerken]

Manuel Blum werd in 1938 geboren inVenezuela maar studeerde in deVerenigde Staten en werkte daar ook zijn hele leven.

Blum haalde aan hetMIT een bachelor- en een mastergraad in elektrotechniek, en daarna promoveerde hij onderMarvin Minsky in dewiskunde. Tijdens zijn promotieonderzoek ontwikkelde hij de axiomatische complexiteitstheorie. Zijn proefschrift schreef hij in 1964.

Na zijn promotie ging Blum in 1967 inBerkeley werken, waar hij opklom tothoogleraar in deinformatica. Sinds 2001 is hij hoogleraar informatica aan deCarnegie Mellon University, waar ook zijn vrouw,Lenore Blum, en zijn zoon,Avrim Blum, als informatica-hoogleraren werken.

Werk

[bewerken |brontekst bewerken]

Manuel Blums voornaamste onderzoeksgebied is decomplexiteitstheorie, in het bijzonder de axiomatische complexiteitstheorie, een door hem ontwikkeld deelgebied daarvan waarin geabstraheerd wordt van zowel het machinemodel als de complexiteitsmaat. Hiervoor stelde hij deBlum-axioma's op. Hoewel de theorie niet gebaseerd is op een bepaald machinemodel, kunnen in deze theorie wel enkele concrete resultaten worden bewezen. Blum paste de theorie ook toe op decryptografie. In 1995 kreeg hij deTuring Awardin recognition of his contributions to the foundations of computational complexity theory and its application to cryptography and program checking.”

Verder werkt hij onder andere aan selectiealgoritmes die in lineaire tijd werken en was hij medebedenker van de pseudo-ToevalsgeneratorBlum-Blum-Shub en hetBlum-Goldwasser-Cryptosysteem. Bovendien stond hij in het jaar 2000 samen met zijn studenten aan de wieg van decaptcha.

Manuel Blum was de promotor van verschillende informatici, waaronderLen Adleman,Michael Sipser en de latere Turing AwardwinnaarsShafi Goldwasser enSilvio Micali.

Externe link

[bewerken |brontekst bewerken]
  • Manuel Blum - Biografie van Manuel Blum op de website van de Turing Award.
·Overleg sjabloon (de pagina bestaat niet) ·Sjabloon bewerken
Winnaars van deTuring Award

1966:Alan J. Perlis ·1967:Maurice V. Wilkes ·1968:Richard Hamming ·1969:Marvin Minsky ·1970:J.H. Wilkinson ·1971:John McCarthy ·1972:Edsger Dijkstra ·1973:Charles W. Bachman ·1974:Donald E. Knuth ·1975:Allen Newell,Herbert Simon ·1976:Michael Rabin,Dana S. Scott ·1977:John Backus ·1978:Robert W. Floyd ·1979:Kenneth E. Iverson ·1980:Tony Hoare ·1981:Edgar F. (Ted) Codd ·1982:Stephen A. Cook ·1983:Ken Thompson,Dennis M. Ritchie ·1984:Niklaus Wirth ·1985:Richard M. Karp ·1986:John Hopcroft,Robert Tarjan ·1987:John Cocke ·1988:Ivan Sutherland ·1989:William Kahan ·1990:Fernando J. Corbató ·1991:Robin Milner ·1992:Butler 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, Jr. ·2000:Andrew Chi-Chih Yao ·2001:Ole-Johan Dahl,Kristen Nygaard ·2002:Ron 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 Thacker ·2010:Leslie Valiant ·2011:Judea Pearl ·2012:Shafi Goldwasser,Silvio Micali ·2013:Leslie Lamport ·2014:Michael Stonebraker ·2015:Martin Hellman,Whitfield Diffie ·2016:Tim Berners-Lee ·2017:John L. Hennessy,David Patterson ·2018:Yoshua Bengio,Geoffrey Hinton,Yann LeCun ·2019:Patrick M. Hanrahan,Edwin E. Catmull ·2020:Alfred Aho,Jeffrey Ullman ·2021:Jack Dongarra ·2022:Robert Metcalfe ·2023:Avi Wigderson

Overgenomen van "https://nl.wikipedia.org/w/index.php?title=Manuel_Blum&oldid=43867906"
Categorieën:

[8]ページ先頭

©2009-2025 Movatter.jp