Software Engineering Centre
University of Oxford

   
Number 39a St Giles Street
Number 39a St Giles Street: current site of the Software Engineering Centre
The Software Engineering Centre is part of the Oxford University Computing Laboratory. The Laboratory is the academic computing department for the University, and is graded by the UK government as 5-star in research and Excellent in teaching [see, the Software Engineering Programme's website] -- both the highest grades. It was founded forty years ago, and has a tradition of combining first-class theoretical work with practical application in industry. It has twice been given the Queen's Award for Technological Achievement: first for its work with Inmos on the transputer, and second for work with IBM on formalising the CICS transaction processing system.

The Laboratory is known for its research in programming techniques, including formal methods for sequential and concurrent systems (Z and CSP), model checking distributed systems (FDR), novel techniques for requirements engineering, critical systems development (analysing safety and security), hardware compilation (Handel-C), and theoretical underpinnings (denotational semantics and the Unifying Theory of Programming).

 

The Software Engineering Centre was recently nominated as the UK's Centre of Excellence by the government. Its mission is to transfer modern software engineering techniques to industry through a mixture of education, training, research, and consulting. It has connections with over fifty national and international companies.

St Giles Street, Oxford, ca. 1779
Historical view of St Giles Street, Oxford, around a.d. 1779



 
    Copyright © 2006, The University of Oxford.