Peter David Mosses (nacido en 1948) es un informático británico .
Peter Mosses | |
---|---|
Nació | 1948 (72 a 73 años de edad) |
Nacionalidad | británico |
Carrera científica | |
Tesis | Semántica matemática y generación de compiladores (1975) |
Asesor de doctorado | Christopher Strachey Dana Scott |
Sitio web | pdmosses |
Peter Mosses estudió matemáticas como estudiante en el 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 con Strachey antes de la muerte de Strachey.
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 , operacional y algebraica .
Actualmente, Mosses es un visitante en TU Delft , trabajando con el Grupo de Lenguajes de Programación .
enlaces externos
- Página de inicio
- Peter D. Mosses en el servidor de bibliografía DBLP