Питер Моссес
| Питер Моссес | |
|---|---|
| Родившийся | 1948 г. (73–74 года) |
| Национальность | британский |
| Научная карьера | |
| Тезис | Математическая семантика и создание компиляторов (1975) |
| Докторантура | Кристофер Стрейчи Дана Скотт |
| Веб-сайт | pdmosses |
Питер Дэвид Моссес (1948 г.р.) - британский ученый-компьютерщик.
Питер Моссес изучал математику в качестве бакалавра в Тринити-колледже в Оксфорде , а затем получил степень доктора философии под руководством Кристофера Стрейчи в исследовательской группе по программированию в Вольфсон-колледже в Оксфорде в начале 1970-х годов. Он был последним студентом, представившим диссертацию под руководством Стрейчи перед смертью Стрейчи.
В 1978 году Моссес опубликовал свой компилятор-компилятор , систему семантической реализации (SIS), который использует описание денотационной семантики входного языка. [1]
Моссес провел большую часть своей карьеры в БРИКС в Дании . Он вернулся на кафедру Университета Суонси в Уэльсе . Его основной вклад был в области формальной семантики программ . В частности, вместе с Дэвидом Уаттом он разработал семантику действия , комбинацию денотативной , операционной и алгебраической семантики .
В настоящее время Моссес является посетителем TU Delft , работает с группой языков программирования .
использованная литература
- ↑ Питер Моссес , «SIS: система компилятора-генератора, использующая денотационную семантику», отчет 78-4-3, кафедра компьютерных наук, Орхусский университет, Дания, июнь 1978 г.
внешняя ссылка
- Домашняя страница
- Питер Д. Моссес на сервере библиографии DBLP
- Живые люди
- Выпускники Тринити-колледжа в Оксфорде
- Выпускники Колледжа Вольфсона, Оксфорд
- Члены факультета компьютерных наук Оксфордского университета
- Британские ученые-компьютерщики
- Академики Университета Суонси
- Формальные методы людей
- 1948 г.р.
- Заготовки британских академических биографий
- Заглушки британских компьютерных специалистов
