Роско, Билл
Билл Ро́ско (англ. Andrew William "Bill" Roscoe; род. 1956, Данди, Шотландия, Великобритания) — шотландский учёный в области информатики. Известен работами в области теории параллельных вычислений и семантики взаимодействующих последовательных процессов (CSP).
Общие сведения
| Билл Роско | |
|---|---|
| англ. Bill Roscoe | |
| Имя при рождении | Эндрю Уильям Роско |
| Дата рождения | 1956 |
| Место рождения | |
| Страна | |
| Образование | |
| Род деятельности |
Информатика; Формальные методы |
Биография
Роско родился в Данди (Шотландия). Изучал математику в Университетском колледже Оксфорда с 1975 по 1978 год, окончив его с высшим баллом на курсе. Затем работал в Вычислительной лаборатории и получил степень доктора философии (DPhil) в 1982 году. В 1983 году был назначен тьютором-исследователем в Университетском колледже, а с 1993 по 1997 год занимал должность старшего тьютора. Возглавлял факультет информатики Оксфордского университета в 2003—2008 и 2009—2014 годах. До 2024 года являлся научным сотрудником Университетского колледжа Оксфорда. В 2024 году в его честь была названа лекционная аудитория на факультете информатики.
Научная деятельность
Роско работает в области теории параллельных вычислений, в частности, занимается семантическим обоснованием взаимодействующих последовательных процессов (CSP) и связанного с ними языка программирования occam совместно с Тони Хоаром[2][3]. Он стал соучредителем компании Formal Systems (Europe) Limited и работал над алгоритмами для инструмента Failures-Divergence Refinement (FDR). Среди его докторантов — Майк Рид[2] и Гэвин Лоу[4].
Примечания
Ссылки
- Роско, Билл (англ.) в проекте «Математическая генеалогия»
Дополнительно по теме
 | ||||
|---|---|---|---|---|
