Питер Моссес

Питер Моссес
Рожденный	1948 (возраст 75–76 лет)
Национальность	Британский
Научная карьера
Диссертация	Математическая семантика и генерация компилятора   (1975)
Докторантура	Кристофер Стрейчи Дана Скотт
Веб-сайт	мхи .github .что

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

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

В 1978 году Моссес опубликовал свой компилятор-компилятор Semantic Implementation System (SIS), который использует денотационное семантическое описание входного языка.

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

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

Внешние ссылки

• Домашняя страница
• Питер Д. Моссес на DBLP библиографическом сервере