Andrew W. Roscoe#


Andrew W. Roscoe
Email:bill.roscoe 'at' cs.ox.ac.uk
Membership Number:3050
Membership type:ORDINARY
Main Country of Residence:UNITED KINGDOM
Section:INFORMATICS
Username:aroscoe
Elected:2011
Homepage: 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
  • Theory of concurrency
  • Formal methods
  • Verification
  • Computer Security

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


Imprint Privacy policy « This page (revision-5) was last updated on Tuesday, 8. September 2015, 10:54 by Majkowska Katarzyna
  • operated by