ピーター・モス

ピーター・デイヴィッド・モス（1948年生まれ）はイギリスのコンピューター科学者です。

ピーター・モスはオックスフォード大学トリニティ・カレッジで学部生として数学を学び、1970年代初頭にオックスフォード大学ウルフソン・カレッジ在学中にプログラミング研究グループのクリストファー・ストレイチーの指導の下で博士号を取得しました。彼はストレイチーの死去前にストレイチーの下で論文を提出した最後の学生でした。

1978年に、モスは入力言語の表示的意味記述を使用するコンパイラコンパイラであるセマンティック実装システム（SIS）を発表しました。 ^[1]

Mosses は、デンマークの BRICS でキャリアの大半を過ごしました。その後、ウェールズのスウォンジー大学の教授に復帰しました。主な貢献は、形式プログラム意味論の分野です。特に、David Wattとともに、表示的意味論、操作的意味論、代数的意味論を組み合わせたアクション意味論を開発しました。

現在、Mosses はデルフト工科大学の客員教授として、プログラミング言語グループで働いています。

• ホームページ
• DBLP書誌サーバーの Peter D. Mosses