Andrew W. Roscoe#
Membership Number: | 3050 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2011 |
Main Country of Residence: | UNITED KINGDOM |
Homepage(s): | http://www.comlab.ox.ac.uk/bill.roscoe |
Present and Previous Positions
- 2009 Head of Department: Director of the Oxford University Computing Laboratory
- 2009 Co-Director of the Institute for the Future of Computing, Oxford Univ. James Martin 21th Century School
- 2003-2008 Head of Department: Director of the Oxford University Computing Laboratory
- 1997 Professor, Oxford University
- 1983-1997 Lecturer, Oxford University
- 1983 Fellow of University College, Oxford University
Fields of Scholarship
- Computer security
- Formal methods
- Theory of concurrency
- Verification
Honours and Awards
- 1990 Queen's Award for Technology (award to Department based on work of Roscoe's group)
- 2003 ISI Highly Cited Researcher in Computer Science
- 2006 Member of UKCRC
- 2010 Fellow of IET