cryptography, computational number theory, complexity theory, fault tolerant distributed computing, probabilistic proof systems, approximation algorithms, theory(THY)