Software Technology Research Laboratory (STRL)
Part of the Cyber Technology Institute, the Software Technology Research Laboratory (STRL) was set up in March 1996 and has a long history of developing and delivering high quality research and teaching in the field of software engineering.
STRL seeks to become one of the leading national and international sources of expertise in the development of provably correct computer systems methods and tools.
STRL is dedicated to delivering research that has a positive impact on the real world. Work undertaken by the laboratory aims to study, analyse and advance formal approaches to the specification, design and the evolution of computing systems, with emphasis being placed on those that are used in critical applications.
The STRL hosts a number of guest lectures from experts in the fields of software development and engineering throughout the year.
One of the significant events is the STRL Annual Distinguished Seminar which invites world class researchers in computer science and related research areas to give talks on technological and scientific advances in their research fields.
Previous speakers have included: Prof. Chris Johnson (University of Glasgow); Prof. Erol Gelenbe (Imperial College London); Prof. Nancy Leveson (Massachusetts Institute); Prof. Amir Pnueli (New York University); Prof. Alan Bundy (Edinburgh University) and Sir Prof. Tony Hoare (Microsoft Research Laboratory, Cambridge).
Postgraduate research and teaching
STRL offers a range of study programmes at postgraduate level and welcomes applications for PhD study.
This includes a Doctoral Training Programme in Cyber Security and Software Engineering as well as Software Engineering MSc.
Since 1998 Software Technology Research Laboratory has won many projects totalling over £1.8million supported by a mixture of industrial, research council and HEFCE funding.
STRL consists of five key research themes:
•Theory and computational paradigms;
•Requirement and knowledge engineering;
•Semantic web and service-orientated computing;
•Computer security and trust.
The national and international significance of the STRL is as follows:
•To be one of the leading national and international sources of expertise in the development of provably correct computer systems methods and tools;
•To play a key role in enabling the University to develop an international reputation for the industrial production of provably correct computer systems.
News and events
For all the latest news and events in STRL, follow us on Twitter: