# Bill Roscoe

**Andrew William "Bill" Roscoe** is a Scottish computer scientist. He was Head of the Department of Computer Science, University of Oxford from 2003 to 2014, and is a Professor of Computer Science. He is also a Fellow of University College, Oxford.

Bill Roscoe | |
---|---|

Born | 1956 (age 62–63) |

Nationality | Scottish |

Citizenship | United Kingdom |

Alma mater | Oxford University |

Known for | Communicating Sequential Processes |

Scientific career | |

Fields | Computer science |

Institutions | Oxford University |

Thesis | A Mathematical Theory of Communicating Processes (1982) |

Doctoral advisor | C. A. R. Hoare[1] |

Doctoral students | G. Mike Reed[1] Gavin Lowe[2] |

Professor Roscoe works in the area of concurrency theory,[3] in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare.[4] He co-founded *Formal Systems (Europe) Limited* and worked on the algorithms for the *Failures-Divergence Refinement (FDR)* tool.

## References

- Bill Roscoe at the Mathematics Genealogy Project
- Lowe, Gavin (1994).
*Probabilities and priorities in timed CSP*(DPhil). University of Oxford. - A. W. Roscoe at DBLP Bibliography Server
- Roscoe, A.W., Jones, C.B. and Wood, K. (eds.),
*Reflections on the Work of C.A.R. Hoare*. Springer. ISBN 978-1-84882-911-4 (2010).

## External links

- Bill Roscoe home page
- Bill Roscoe publications indexed by Google Scholar
- Bill Roscoe at the Mathematics Genealogy Project

This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.