Білл Роско

Ендрю Вільям Біл Роско (англ. Andrew William "Bill" Roscoe) - шотландський інформатик. Працює в областях теорії рівночасності,[4], особливо щодо семантики комунікуючих послідовних процесів (CSP) і пов'язаної мови occam, разом з Тоні Гоаром.[5] Є співзасновником Formal Systems (Europe) Limited і розробив алгоритми для інструменту Failures-Divergence Refinement (FDR).

Білл Роско
Народився 1956
Данді, Шотландія, Велика Британія
Країна  Велика Британія
Діяльність інформатик, інженер
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]

Зноски
  1. Математична генеалогія — 1997.
  2. https://www.ae-info.org/ae/Member/Roscoe_Andrew
  3. https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/
  4. A. W. Roscoe. Публікації DBLP.
  5. Roscoe, A.W., Jones, C.B. and Wood, K. (eds.), Reflections on the Work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 (2010).

Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.