Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Питер Мосс
Родившийся1948 (72–73 года)
НациональностьБританский
Научная карьера
ТезисМатематическая семантика и генерация компиляторов  (1975)
ДокторантКристофер Стрейчи
Дана Скотт
Интернет сайтpdmosses .github .io

Питер Дэвид Моссес (род. 1948) - британский ученый-компьютерщик.

Питер Мхи изучал математику как студент в Тринити - колледже , Оксфорд , и пошел провести DPhil под руководством Кристофера Стрейчи в Programming Research Group , а в Вольфсон колледж в Оксфорде в начале 1970 - х годов. Он был последним студентом, который представил свою диссертацию под руководством Стрейчи до его смерти.

Моссес провел большую часть своей карьеры в БРИКС в Дании . Он вернулся на кафедру в университете Суонси , Уэльс . Его основной вклад был в области формальной семантики программ . В частности, вместе с Дэвидом Ваттом он разработал семантику действия , комбинацию денотационной , операционной и алгебраической семантики .

В настоящее время Моссес - гость в Делфтском техническом университете , работая с группой языков программирования .

Внешние ссылки [ править ]