Peter Mosses - Peter Mosses
Peter Mosses | |
|---|---|
| narozený | 1948 (věk 71–72) |
| Národnost | britský |
| Vědecká kariéra | |
| Teze | Matematická sémantika a generování překladačů (1975) |
| Doktorský poradce | Christopher Strachey Dana Scott |
| webová stránka | pdmosses |
Peter David Mosses (narozen 1948) je a britský počítačový vědec.
Peter Mosses studoval matematika jako vysokoškolák v Trinity College, Oxford, a pokračoval podniknout DPhil kontrolován Christopher Strachey v Programovací výzkumná skupina zatímco v Wolfson College v Oxfordu na začátku 70. let. Byl posledním studentem, který před Stracheyovou smrtí předložil svou diplomovou práci pod Stracheyem.
Mosses strávil většinu své kariéry v BRICS v Dánsko. Vrátil se na židli v Swansea University, Wales. Jeho hlavní příspěvek byl v oblasti formálních programová sémantika. Zejména s David Watt vyvinul akční sémantika, kombinace denotační, provozní a algebraická sémantika.
V současné době je Mosses návštěvníkem stránky TU Delft, práce s Skupina programovacích jazyků.
externí odkazy
- Domovská stránka
- Peter D. Mosses na DBLP Bibliografický server
 | Tento biografický článek akademika Spojeného království je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
 | Tento článek o počítačovém specialistovi ve Velké Británii je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |