Peter David Mosses (nacido en 1948) es un científico informático británico.
Peter Mosses estudió matemáticas como estudiante de grado en Trinity College , Oxford , y luego realizó un doctorado supervisado por Christopher Strachey en el Grupo de Investigación de Programación mientras estaba en Wolfson College, Oxford a principios de la década de 1970. Fue el último estudiante en presentar su tesis bajo la dirección de Strachey antes de su muerte.
En 1978, Mosses publicó su compilador-compilador , el Sistema de Implementación Semántica (SIS), que utiliza una descripción semántica denotacional del lenguaje de entrada. [1]
Mosses ha pasado la mayor parte de su carrera en BRICS en Dinamarca . Regresó a la Universidad de Swansea , en Gales , para ocupar una cátedra . Su principal contribución ha sido en el área de la semántica de programas formales . En particular, junto con David Watt desarrolló la semántica de acción , una combinación de semántica denotacional , operacional y algebraica .
Actualmente, Mosses es profesor visitante en la TU Delft , donde trabaja con el Grupo de Lenguajes de Programación.