Мария Улиханова

Текст

Блюм был удостоен премии Тьюринга «в дань его работам по основаниям теории сложности вычислений и ее применению к криптографии и верификации программ»