Билл Роско

Билл Роско
Билл Роско
Рожденный	1956 (67–68 лет) ; Данди , Шотландия
Национальность	шотландский
Гражданство	Великобритания
Альма-матер	Оксфордский университет
Известный	Обмен последовательными процессами
	Научная карьера
Поля	Информатика
Учреждения	Оксфордский университет
Диссертация	Математическая теория коммуникационных процессов (1982)
Докторантура	АВТОМОБИЛЬ Хоар
Докторанты	Дж. Майк Рид ; Гэвин Лоу

Эндрю Уильям Роско — шотландский ученый-компьютерщик . Он возглавлял кафедру компьютерных наук Оксфордского университета с 2003 по 2014 год и является профессором компьютерных наук. Он также является членом Университетского колледжа Оксфорда .

Образование и карьера

Роско родился в Данди, Шотландия . Он получил степень по математике в Университетском колледже Оксфорда с 1975 по 1978 год, окончив его с высшим баллом за год обучения в университете. Он продолжил работу в вычислительной лаборатории и получил докторскую степень в 1982 году. В 1983 году он был назначен научным сотрудником Университетского колледжа и работал старшим преподавателем с 1993 по 1997 год. он возглавлял кафедру компьютерных наук. В 2003-08 и 2009 годах –14. ^[3]

Исследовать

Профессор Роско работает в области теории параллелизма . ^[4] в частности, семантическая основа взаимодействия последовательных процессов (CSP) и связанного с ним языка программирования оккам с сэром Тони Хоаром . ^[5] Он стал сооснователем компании Formal Systems (Europe) Limited и работал над алгоритмами инструмента «Уточнение отклонений-дивергенций» (FDR) .

Ссылки

^ Перейти обратно: ^а ^б Билл Роско в проекте «Математическая генеалогия»
^ Лоу, Гэвин (1994). Вероятности и приоритеты в CSP на время (DPhil). Оксфордский университет .
^ «Билл Роско» . Кафедра компьютерных наук . Проверено 16 декабря 2020 г.
^ AW Roscoe на DBLP библиографическом сервере
^ Роско, AW, Джонс, CB и Вуд, К. (ред.), Размышления о работе CAR Hoare . Спрингер . ISBN 978-1-84882-911-4 (2010).

Внешние ссылки

Эта биографическая статья о шотландском учёном незавершена . Вы можете помочь Википедии, расширив ее .

Эта биография шотландского академика незавершена . Вы можете помочь Википедии, расширив ее .

Эта биографическая статья о компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее .

[mgp-1] Перейти обратно: ^а ^б Билл Роско в проекте «Математическая генеалогия»

[lowethesis-2] Лоу, Гэвин (1994). Вероятности и приоритеты в CSP на время (DPhil). Оксфордский университет .

[3] «Билл Роско» . Кафедра компьютерных наук . Проверено 16 декабря 2020 г.

[4] AW Roscoe на DBLP библиографическом сервере

[5] Роско, AW, Джонс, CB и Вуд, К. (ред.), Размышления о работе CAR Hoare . Спрингер . ISBN 978-1-84882-911-4 (2010).

[1]

[2]

[3]

[4]

[5]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ 2 ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Бельгия Соединенные Штаты Австралия Хорватия Нидерланды
академики	ЦиНии ДБЛП Google Академика Проект математической генеалогии
Другой	ИдРеф