Manuel Blum

Manuel Blum Imagine în Infobox. Manuel Blum și soția sa, Lenore Blum Biografie
Naștere 26 aprilie 1938
Caracas
Naţionalitate american
Acasă Pittsburgh
Instruire Institutul de tehnologie din Massachusetts
Activități Informatician , profesor universitar
Soț / soție Lenore Blum
Copil Avrim Blum ( în )
Alte informații
Lucrat pentru Universitatea din California la Berkeley , Universitatea Carnegie-Mellon
Camp Informatică
Membru al Academia Americană de Științe
Academia Americană de Arte și Științe
Academia Națională de Inginerie a Statelor Unite
Supervizor Marvin Minsky
Site-ul web (ro)  www.cs.cmu.edu/~mblum
Premii Premiul Turing (1995)
Fell IACR (2012)

Manuel Blum (născut în Caracas pe26 aprilie 1938) este un informatician american , profesor de informatică la Universitatea Carnegie-Mellon .

Biografie

Blum a fost educat la MIT unde a făcut un doctorat în matematică sub supravegherea lui Marvin Minsky până în 1964.

A supravegheat numeroase teze, inclusiv cele ale lui Leonard Adleman , Shafi Goldwasser , Silvio Micali , Gary L. Miller , Michael Sipser , Steven Rudich , Luis von Ahn , Umesh Vazirani și Vijay Vazirani și Moni Naor .

Este căsătorit cu Lenore Blum .

Lucrări

O mare parte din lucrările lui Blum se concentrează pe calculabilitate și complexitate într-un cadru mai general și abstract decât cadrul obișnuit al mașinilor Turing . Putem cita în special axiomele lui Blum  (en) , care redefinesc noțiunile de măsuri de complexitate și clasa de complexitate .

Blum a lucrat, de asemenea, pe multe alte subiecte, cum ar fi criptografia (în special cu criptosistemul Blum-Goldwasser ), generatorul de numere pseudo-aleatorii Blum Blum Shub și algoritmii de selecție . Mai recent, în 2000 , a inventat împreună cu Luis von Ahn , Nicholas Hopper și John Langford, noțiunea de CAPTCHA .

Premii

A primit premiul Turing în 1995, ca recunoaștere a contribuțiilor sale la fundamentele teoriei complexității computaționale și a aplicațiilor sale la criptografie și verificarea programelor .

Note și referințe

  1. (în) „  Manuel Blum  ” pe site-ul Mathematics Genealogia Project
  2. Articol original: Manuel Blum , „  O teorie independentă de mașini a complexității funcțiilor recursive  ” , Jurnalul ACM , vol.  14, n o  21967, p.  322-336 ( DOI  10.1145 / 321386.321395 , citiți online )
  3. Vezi: Manuel Blum, Robert W. Floyd , Vaughan R. Pratt  (în) , Ronald L. Rivest și Robert Endre Tarjan , "  Time Bounds for Selection  ", J. Comput. Syst. Știință. , vol.  7, n o  4,1973, p.  448-461 ( DOI  10.1016 / S0022-0000 (73) 80033-9 , citiți online )

Vezi și tu

Articole similare

linkuri externe