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.
Historical view of St Giles Street, Oxford, around a.d. 1779