Peter Mosses とは

Peter David Mosses(1948年生まれ)は英国のコンピュータ科学者です。
Peter Mossesはオックスフォードのトリニティカレッジの学部で数学を学び、1970年代初めにオックスフォードのWolfson Collegeでプログラミング研究グループのChristopher Strachey監修のDPhilを引き継いだ。彼は後者の不意の死の前にStracheyの下で彼の論文を提出する最後の学生だった。
モススはデンマークのBRICSで彼のキャリアの大半を過ごしました。ウェールズのスワンシー大学で椅子に戻った。彼の主な貢献は、正式なプログラムのセマンティクスの分野であった。特にDavid Watt氏は、意味論的、操作的、代数的なセマンティクスの組み合わせであるアクションセマンティクスを開発しました。