Peter Mosses estudió matemáticas como estudiante universitario en Trinity College , Oxford , y luego realizó un DPhil 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 con Strachey antes de la muerte de Strachey.
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 una cátedra en la Universidad de Swansea , Gales . Su principal contribución ha sido en el área de la semántica de programas formales . En particular, con David Watt desarrolló la semántica de acción , una combinación de semántica denotacional , operativa y algebraica .
Este artículo biográfico de un académico de Reino Unido es un trozo . Puedes ayudar a Wikipedia expandiéndola .
Este artículo sobre un especialista en informática del Reino Unido es un trozo . Puedes ayudar a Wikipedia expandiéndola .