Bill Roscoe

Bill Roscoe
Urodzić się	1956 (66-67 lat) Dundee , Szkocja
Narodowość	Szkocki
Obywatelstwo	Zjednoczone Królestwo
Alma Mater	Uniwersytet Oksfordzki
Znany z	Komunikacja sekwencyjnych procesów
Kariera naukowa
Pola	Informatyka
Instytucje	Uniwersytet Oksfordzki
Praca dyplomowa	Matematyczna teoria procesów komunikacyjnych (1982)
Doradca doktorski	SAMOCHÓD Hoare
Doktoranci	G. Mike Reed Gavin Lowe

Andrew William Roscoe jest szkockim informatykiem . Był kierownikiem Wydziału Informatyki Uniwersytetu Oksfordzkiego od 2003 do 2014 roku i jest profesorem informatyki. Jest także członkiem University College w Oksfordzie .

Edukacja i kariera

Roscoe urodził się w Dundee w Szkocji . W latach 1975-1978 studiował matematykę na University College w Oksfordzie, uzyskując najwyższą ocenę na swoim roku na uniwersytecie. . W latach 2003-08 i 2009 był kierownikiem Wydziału Informatyki –14.

Badania

Profesor Roscoe zajmuje się teorią współbieżności , w szczególności semantyczną podstawą komunikacji procesów sekwencyjnych (CSP) i powiązanym językiem programowania Occam z Sir Tonym Hoare'em . Był współzałożycielem firmy Formal Systems (Europe) Limited i pracował nad algorytmami narzędzia Failures-Divergence Refinement (FDR) .

Linki zewnętrzne

• Strona domowa Billa Roscoe
• Billa Roscoe indeksowane przez Google Scholar
• Bill Roscoe w Mathematics Genealogy Project