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