Білл Роско
(Перенаправлено з Bill Roscoe)
Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,[4], особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром.[5] Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).
| Білл Роско | |
|---|---|
| Народився |
1956 Данді, Шотландія, Велика Британія |
| Країна |
.svg){kind=small} Велика Британія |
| Діяльність | інформатик, інженер |
| Alma mater | Університетський коледж і Університет Оксфорда[1] |
| Галузь | інформатика |
| Заклад | Університет Оксфорда |
| Науковий керівник | Тоні Гоар |
| Аспіранти, докторанти | G. Mike Reedd[1], Martin Paul Wardd[1], T. Yung Kongd[1], Andrew Boucherd[1], Naiem Dathid[1], Geof Barrettd[1], Alan Jeffreyd[1], Gavin Lowed[1], Lars Wulfd[1], Bryan Scattergoodd[1], Ranko Lazićd[1], Tom Newcombd[1], Richard Forsterd[1], Sadie Creesed[1], Philippa Broadfootd[1], Richard Tolcherd[1], Lee Momtahand[1], Eldar Kleinerd[1], Long Nguyend[1], Hristina Palikarevad[1] і Brian Scottd[1] |
| Членство | Європейська академія[2] і UK Computing Research Committeed[3] |
ЗноскиРедагувати
- ↑ а б в г д е ж и к л м н п р с т у ф х ц ш щ Математичний генеалогічний проєкт — 1997.
- ↑ https://www.ae-info.org/ae/Member/Roscoe_Andrew
- ↑ https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
- ↑ A. W. Roscoe. Публікації DBLP.
- ↑ Roscoe, A.W., Jones, C.B.[en] and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).
ПосиланняРедагувати
- Домашня сторінка [Архівовано 21 лютого 2018 у Wayback Machine.]
- Публікації за ім'ям: Білл Роско індексовані Google Scholar, сервісом Google
- Білл Роско(англ.) в проєкті «Математична генеалогія».