WikiDer > Piter Mosses
Piter Mosses | |
|---|---|
| Tug'ilgan | 1948 (71-72 yosh) |
| Millati | Inglizlar |
| Ilmiy martaba | |
| Tezis | Matematik semantika va kompilyator avlodi (1975) |
| Doktor doktori | Kristofer Straxi Dana Skott |
| Veb-sayt | pdmosses |
Piter Devid Mosses (1948 yilda tug'ilgan) a Inglizlar kompyutershunos.
Piter Mosses o'qidi matematika da bakalavr sifatida Trinity kolleji, Oksfordva o'z zimmasiga olishga kirishdi DP tomonidan boshqariladi Kristofer Straxi ichida Dasturlash tadqiqot guruhi esa Volfson kolleji, Oksford 70-yillarning boshlarida. U Strachey vafotidan oldin Strachey mavzusida dissertatsiyasini topshirgan oxirgi talaba bo'lgan.
Mosses kariyerasining katta qismini shu erda o'tkazgan BRIKS yilda Daniya. U stulga qaytib keldi Suonsi universiteti, Uels. Uning asosiy hissasi rasmiy sohada bo'lgan dastur semantikasi. Xususan, bilan Devid Vatt u rivojlandi harakat semantikasi, birikmasi denotatsion, operatsion va algebraik semantika.
Hozirda Mosses mehmon hisoblanadi TU Delftbilan ishlash Dasturlash tillari guruhi.
Tashqi havolalar
- Bosh sahifa
- Piter D. Mosses da DBLP Bibliografiya serveri
 | Birlashgan Qirollik akademiyasining ushbu tarjimai holi maqolasi naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |
 | Buyuk Britaniyaning kompyuter mutaxassisi haqidagi ushbu maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |