mathematician
mathematician
mathematician
mathematician
analysis, theory of functions
temporal logic; Turing Award (1996)
(19061998) mathematician, Wolf Prize (1979)
mathematician
ZF set theory
statistician
nonstandard analysis
Russian-born British mathematician (Karaite)
RSA encryption, differential cryptanalysis; Turing Award (2002)
set theory
mathematician