Білл Роско

Білл Роско
Народився	1956 Данді, Шотландія, Велика Британія
Країна	Велика Британія
Діяльність	інформатик, інженер
Alma mater	Університетський коледж Університет Оксфорда[[d:Track:Q829984]]-1">[1]
Галузь	інформатика
Заклад	Університет Оксфорда
Науковий керівник	Тоні Гоар
Аспіранти, докторанти	G. Mike Reedd[[d:Track:Q829984]]-1">[1] Martin Paul Wardd[[d:Track:Q829984]]-1">[1] T. Yung Kongd[[d:Track:Q829984]]-1">[1] Andrew Boucherd[[d:Track:Q829984]]-1">[1] Naiem Dathid[[d:Track:Q829984]]-1">[1] Geof Barrettd[[d:Track:Q829984]]-1">[1] Alan Jeffreyd[[d:Track:Q829984]]-1">[1] Gavin Lowed[[d:Track:Q829984]]-1">[1] Lars Wulfd[[d:Track:Q829984]]-1">[1] Bryan Scattergoodd[[d:Track:Q829984]]-1">[1] Ranko Lazićd[[d:Track:Q829984]]-1">[1] Tom Newcombd[[d:Track:Q829984]]-1">[1] Richard Forsterd[[d:Track:Q829984]]-1">[1] Sadie Creesed[[d:Track:Q829984]]-1">[1] Philippa Broadfootd[[d:Track:Q829984]]-1">[1] Richard Tolcherd[[d:Track:Q829984]]-1">[1] Lee Momtahand[[d:Track:Q829984]]-1">[1] Eldar Kleinerd[[d:Track:Q829984]]-1">[1] Long Nguyend[[d:Track:Q829984]]-1">[1] Hristina Palikarevad[[d:Track:Q829984]]-1">[1] Brian Scottd[[d:Track:Q829984]]-1">[1]
Членство	Європейська академія-2">[2] UK Computing Research Committeed-3">[3]

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

Примітки

_1-1">^б Математичний_генеалогічний_проєкт_—_1997.[[d:Track:Q829984]]