Питер Моссес

От Bot-+-On / 01.07.2024 / Оставьте комментарий

Питер Мосс Биография Питера Дэвида Мосса Британский ученый-компьютерщик, родился в 1948 году. Изучал математику в Оксфорде, получил докторскую степень в […]

1948 births, Academics of Swansea University, Alumni of Trinity College, Alumni of Wolfson College, British academic biography stubs, British computer scientists, British computer specialist stubs, Formal methods people, Living people, Members of the Department of Computer Science, Oxford, University of Oxford, Академики Университета Суонси, Британские учёные-компьютерщики, Выпускники Вольфсон-колледжа, Выпускники Тринити-колледжа, Живые люди, Люди формальных методов, незавершённые британские академические биографии, Незавершенные статьи о британских компьютерных специалистах, Оксфорд, рождения в 1948 году, Члены факультета компьютерных наук Оксфордского университета

Питер Мосс

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

Полный текст статьи:

Питер Моссес — Википедия

Оставьте комментарий Отменить ответ

Для отправки комментария вам необходимо авторизоваться.