Пратт, Вон Рональд

}} Вон Рональд Пратт (, род. 12 апреля 1944 года, Мельбурн, Австралия) — эмерит-профессор Стэнфордского университета, один из первопроходцев теоретической информатики. С 1969 г. Пратт внёс существенный вклад в такие основополагающие области как , сортировки и проверки простоты. Его более современные исследования сосредоточены на формальном моделировании конкурентных систем и . Работы Пратта выделяются применением к информатике моделей из различных областей математики — геометрии, линейной и общей алгебры, математической логики. Предоставлено Wikipedia