Peter Mosses

Peter David Mosses (nacido en 1948) es un científico de la computación británico. Peter Mosses estudió matemáticas como estudiante de pregrado en Trinity College, Oxford, y posteriormente realizó un DPhil supervisado por Christopher Strachey en el Programming Research Group mientras estaba en Wolfson College, Oxford a principios de la década de 1970. Fue el último estudiante en presentar su tesis bajo la supervisión de Strachey antes de la muerte de Strachey. En 1978, Mosses publicó su compilador-compilador, el Semantic Implementation System (SIS), que utiliza una descripción de semántica denotacional del lenguaje de entrada. Mosses ha pasado la mayor parte de su carrera en BRICS en Dinamarca. Regresó a una cátedra en Swansea University, Wales. Su principal contribución ha sido en el área de la semántica formal de programas. En particular, con David Watt desarrolló la semántica de acciones, una combinación de semántica denotacional, operacional y algebraica.