Please answer the following question: What type of details about bill roscoe can be gathered from the following bio? Bio: 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 . professor roscoe works in the area of concurrency theory , in particular the semantic underpinning of communicating sequential processes -lrb- csp -rrb- and the associated occam programming language with sir tony hoare . he co-founded '' formal systems -lrb- europe -rrb- limited '' and worked on the algorithms for the '' failures-divergence refinement -lrb- fdr -rrb- '' tool .
A:
- known for - thesis url - fields - thesis year - workplaces - doctoral advisor - birth date - thesis title - name - citizenship - nationality - birth place - alma mater