Питер Мосс - Peter Mosses

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

Питер Дэвид Моссес (1948 г.р.) Британский специалист в области информатики.

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

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

В настоящее время Мосес посещает TU Delft, работая с Группа языков программирования.

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