Эндрю Уильям Роско — шотландский ученый-компьютерщик . С 2003 по 2014 год он возглавлял кафедру компьютерных наук Оксфордского университета и является профессором компьютерных наук. Он также является членом Университетского колледжа Оксфорда .
Роско родился в Данди, Шотландия . Он получил степень по математике в Университетском колледже Оксфорда с 1975 по 1978 год, окончив его с высшим баллом за год обучения в университете. Он продолжил работу в вычислительной лаборатории и получил докторскую степень в 1982 году. В 1983 году он был назначен научным сотрудником Университетского колледжа и работал старшим преподавателем с 1993 по 1997 год. В 2003-08 и 2009 годах он возглавлял кафедру компьютерных наук. –14. [3]
Профессор Роско работает в области теории параллелизма , [4] в частности над семантическим обоснованием взаимодействующих последовательных процессов (CSP) и связанного с ним языка программирования occam вместе с сэром Тони Хоаром . [5] Он стал сооснователем компании Formal Systems (Europe) Limited и работал над алгоритмами инструмента « Уточнение отклонений-дивергенций» (FDR) .