Manuel Blum
Z Wikipedii, wolnej encyclopedia
Manuel Blum (ur. 26 kwietnia 1938 w Caracas, Wenezuela) – wenezuelski informatyk, laureat nagrody Turinga w 1995 roku za wkład w rozwój teorii złożoności obliczeniowej oraz jej zastosowań w kryptografii i weryfikacji formalnej[1].