Bill Roscoe - Bill Roscoe
Bill Roscoe | |
|---|---|
| Doğum | 1956 (63–64 yaş) |
| Milliyet | İskoç |
| Vatandaşlık | Birleşik Krallık |
| gidilen okul | Oxford Üniversitesi |
| Bilinen | Sıralı Süreçlerin İletişimi |
| Bilimsel kariyer | |
| Alanlar | Bilgisayar Bilimi |
| Kurumlar | Oxford Üniversitesi |
| Tez | İletişim Süreçlerinin Matematiksel Bir Teorisi (1982) |
| Doktora danışmanı | C.A. R. Hoare[1] |
| Doktora öğrencileri | G. Mike Reed[1] Gavin Lowe[2] |
Andrew William Roscoe bir İskoç bilgisayar uzmanı. O başıydı Bilgisayar Bilimleri Bölümü, Oxford Üniversitesi 2003'ten 2014'e kadar ve Bilgisayar Bilimleri Profesörü. O da bir Dost nın-nin Üniversite Koleji, Oxford.
Profesör Roscoe şu alanlarda çalışıyor: eşzamanlılık teori[3] özellikle semantik temeli Sıralı Süreçlerin İletişimi (CSP) ve ilişkili occam programlama dili ile Sör Tony Hoare.[4] Ortak kurdu Biçimsel Sistemler (Avrupa) Limited ve için algoritmalar üzerinde çalıştı Başarısızlıklar-Iraksama İyileştirme (FDR) aracı.
Referanslar
- ^ a b Bill Roscoe -de Matematik Şecere Projesi
- ^ Lowe, Gavin (1994). Zamanlanmış CSP'deki olasılıklar ve öncelikler (DPhil). Oxford Üniversitesi.
- ^ A. W. Roscoe -de DBLP Kaynakça Sunucusu
- ^ Roscoe, A.W., Jones, C.B. ve Wood, K. (ed.), C.A.R.'nin Çalışmaları Üzerine Düşünceler Hoare. Springer. ISBN 978-1-84882-911-4 (2010).
Dış bağlantılar
- Bill Roscoe ana sayfası
- Bill Roscoe tarafından indekslenen yayınlar Google Scholar
- Bill Roscoe -de Matematik Şecere Projesi
Yetki kontrolü  |
|---|
  | İskoç bilim adamıyla ilgili bu biyografik makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |
 | İskoç bir akademisyenin bu biyografisi bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |
 | Bir bilgisayar uzmanıyla ilgili bu biyografik makale bir Taslak. Wikipedia'ya şu yolla yardım edebilirsiniz: genişletmek. |