Andrew W. Roscoe#


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


Imprint Privacy policy « This page (revision-5) was last changed on Monday, 14. June 2021, 13:59 by Majkowska Katarzyna
  • operated by