Ричард Липтон
- Ричард Липтон — американский математик и специалист в области теории сложности.
- Он внес значительный вклад в изучение сложности алгоритмов и их приложений.
- Липтон разработал метод редукции для доказательства свойств параллельных программ.
- Он исследовал защиту баз данных и доказал, что SAT не может быть вычислен с ограничениями на время и пространство.
- Липтон получил награды и почести, включая стипендию Гуггенхайма и членство в Ассоциации вычислительной техники и Национальной инженерной академии.
Полный текст статьи: