Piotr Moses

Piotr Moses
Urodzić się	1948 (wiek 74–75)
Narodowość	brytyjski
Kariera naukowa
Praca dyplomowa	Semantyka matematyczna i generowanie kompilatorów (1975)
Doradca doktorski	Christopher Strachey Dana Scott
Strona internetowa	pdmosses .github .io

Peter David Mosses (ur. 1948) to brytyjski informatyk.

Peter Mosses studiował matematykę jako student w Trinity College w Oksfordzie , a następnie podjął studia doktoranckie pod kierunkiem Christophera Stracheya w Programming Research Group w Wolfson College w Oksfordzie we wczesnych latach siedemdziesiątych. Był ostatnim studentem, który złożył pracę magisterską pod kierunkiem Stracheya przed śmiercią Stracheya.

W 1978 Mosses opublikował swój kompilator-kompilator , Semantic Implementation System (SIS), który wykorzystuje opis semantyki denotacyjnej języka wejściowego.

Mosses spędził większość swojej kariery w BRICS w Danii . Wrócił na katedrę na Uniwersytecie Swansea w Walii . Jego główny wkład dotyczył formalnej semantyki programów . W szczególności wraz z Davidem Wattem opracował semantykę działania , połączenie semantyki denotacyjnej , operacyjnej i algebraicznej .

Obecnie Mosses jest gościem w TU Delft , pracując z Grupą Języków Programowania.

Linki zewnętrzne

• Strona główna
• Peter D. Mosses na serwerze bibliograficznym DBLP