509:
317:
395:
456:
401:
190:. He studied for a degree in mathematics at University College, Oxford, from 1975 to 1978, graduating with the top mark for his year in the university. He went on to work at the Computing Laboratory and received his DPhil in 1982. He was appointed Tutorial Fellow at University College in 1983 and served as Senior Tutor from 1993 to 1997. He was head of the
590:
575:
493:
191:
167:
440:
600:
580:
620:
605:
546:
486:
585:
433:
345:
479:
625:
207:
76:
615:
426:
337:
147:
595:
224:
203:
379:
252:
539:
570:
116:
211:
175:
532:
565:
610:
269:
103:
508:
8:
366:
316:
163:
520:
467:
414:
341:
128:
93:
516:
463:
410:
370:
215:
133:
283:
559:
361:
375:
248:
143:
170:
from 2003 to 2014, and is a
Professor of Computer Science. He is also a
329:
591:
Members of the
Department of Computer Science, University of Oxford
394:
41:
307:
515:
This biographical article relating to a computer specialist is a
455:
187:
171:
110:
37:
400:
311:
409:
This biographical article about a
Scottish scientist is a
168:
Department of
Computer Science, University of Oxford
206:theory, in particular the semantic underpinning of
557:
117:A Mathematical Theory of Communicating Processes
540:
487:
434:
576:People educated at the High School of Dundee
462:This biography of a Scottish academic is a
547:
533:
494:
480:
441:
427:
315:
266:Probabilities and priorities in timed CSP
257:
334:Reflections on the Work of C.A.R. Hoare
181:
558:
202:Professor Roscoe works in the area of
601:Fellows of University College, Oxford
244:
242:
222:and worked on the algorithms for the
581:Alumni of University College, Oxford
503:
450:
388:
263:
13:
239:
208:Communicating Sequential Processes
77:Communicating Sequential Processes
14:
637:
621:Scottish academic biography stubs
355:
507:
454:
399:
393:
606:Scottish scholars and academics
220:Formal Systems (Europe) Limited
322:
301:
288:Department of Computer Science
276:
225:Failures-Divergence Refinement
192:Department of Computer Science
1:
380:Mathematics Genealogy Project
253:Mathematics Genealogy Project
232:
586:Scottish computer scientists
519:. You can help Knowledge by
466:. You can help Knowledge by
413:. You can help Knowledge by
7:
197:
34:1956 (age 67–68)
16:Scottish computer scientist
10:
642:
502:
449:
387:
212:occam programming language
176:University College, Oxford
626:Computer specialist stubs
210:(CSP) and the associated
153:
139:
127:
109:
99:
89:
82:
72:
64:
56:
48:
30:
23:
616:Scottish scientist stubs
369:publications indexed by
596:Formal methods people
362:Bill Roscoe home page
332:and Wood, K. (eds.),
194:2003-08 and 2009–14.
166:. He was Head of the
160:Andrew William Roscoe
314:Bibliography Server
270:University of Oxford
264:Lowe, Gavin (1994).
182:Education and career
104:University of Oxford
68:University of Oxford
186:Roscoe was born in
571:People from Dundee
164:computer scientist
528:
527:
475:
474:
422:
421:
346:978-1-84882-911-4
157:
156:
140:Doctoral students
84:Scientific career
633:
549:
542:
535:
511:
504:
496:
489:
482:
458:
451:
443:
436:
429:
405:
404:
403:
397:
389:
349:
326:
320:
319:
305:
299:
298:
296:
294:
280:
274:
273:
261:
255:
246:
218:. He co-founded
188:Dundee, Scotland
129:Doctoral advisor
123:
94:Computer science
21:
20:
641:
640:
636:
635:
634:
632:
631:
630:
556:
555:
554:
553:
501:
500:
448:
447:
398:
392:
385:
358:
353:
352:
327:
323:
306:
302:
292:
290:
282:
281:
277:
262:
258:
247:
240:
235:
200:
184:
146:
121:
65:Alma mater
44:
35:
26:
17:
12:
11:
5:
639:
629:
628:
623:
618:
613:
608:
603:
598:
593:
588:
583:
578:
573:
568:
552:
551:
544:
537:
529:
526:
525:
512:
499:
498:
491:
484:
476:
473:
472:
459:
446:
445:
438:
431:
423:
420:
419:
406:
383:
382:
373:
371:Google Scholar
364:
357:
356:External links
354:
351:
350:
328:Roscoe, A.W.,
321:
300:
275:
256:
237:
236:
234:
231:
216:Sir Tony Hoare
199:
196:
183:
180:
162:is a Scottish
155:
154:
151:
150:
141:
137:
136:
134:C. A. R. Hoare
131:
125:
124:
113:
107:
106:
101:
97:
96:
91:
87:
86:
80:
79:
74:
73:Known for
70:
69:
66:
62:
61:
60:United Kingdom
58:
54:
53:
50:
46:
45:
36:
32:
28:
27:
24:
15:
9:
6:
4:
3:
2:
638:
627:
624:
622:
619:
617:
614:
612:
609:
607:
604:
602:
599:
597:
594:
592:
589:
587:
584:
582:
579:
577:
574:
572:
569:
567:
566:Living people
564:
563:
561:
550:
545:
543:
538:
536:
531:
530:
524:
522:
518:
513:
510:
506:
505:
497:
492:
490:
485:
483:
478:
477:
471:
469:
465:
460:
457:
453:
452:
444:
439:
437:
432:
430:
425:
424:
418:
416:
412:
407:
402:
396:
391:
390:
386:
381:
377:
374:
372:
368:
365:
363:
360:
359:
347:
343:
339:
335:
331:
325:
318:
313:
309:
304:
289:
285:
284:"Bill Roscoe"
279:
271:
267:
260:
254:
250:
245:
243:
238:
230:
228:
226:
221:
217:
213:
209:
205:
195:
193:
189:
179:
177:
173:
169:
165:
161:
152:
149:
145:
142:
138:
135:
132:
130:
126:
119:
118:
114:
112:
108:
105:
102:
98:
95:
92:
88:
85:
81:
78:
75:
71:
67:
63:
59:
55:
51:
47:
43:
39:
33:
29:
22:
19:
521:expanding it
514:
468:expanding it
461:
415:expanding it
408:
384:
333:
324:
308:A. W. Roscoe
303:
291:. Retrieved
287:
278:
265:
259:
223:
219:
201:
185:
159:
158:
144:G. Mike Reed
115:
100:Institutions
83:
18:
611:1956 births
376:Bill Roscoe
367:Bill Roscoe
330:Jones, C.B.
293:16 December
249:Bill Roscoe
204:concurrency
57:Citizenship
49:Nationality
25:Bill Roscoe
560:Categories
233:References
148:Gavin Lowe
268:(DPhil).
338:Springer
198:Research
52:Scottish
42:Scotland
378:at the
348:(2010).
251:at the
344:
229:tool.
172:Fellow
122:(1982)
120:
111:Thesis
90:Fields
38:Dundee
227:(FDR)
214:with
517:stub
464:stub
411:stub
342:ISBN
312:DBLP
295:2020
31:Born
310:at
174:of
562::
340:.
336:.
286:.
241:^
178:.
40:,
548:e
541:t
534:v
523:.
495:e
488:t
481:v
470:.
442:e
435:t
428:v
417:.
297:.
272:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.