Американский учёный-теоретик в области компьютерных наук