DMU logo

Software Technology Research Laboratory

STRL

Software Technology Research Laboratories (STRL) aims to study, analyse and advance formal approaches to the specification, design and evolution of computing.

STRL

STRL is part of DMU’s Cyber Technology Institute (CTI).

City

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.

Brain

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.

 

Research

 

 

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;
•Software evolution;
•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:

@DMU_CyberTech

 

 
Events target area image
Events

At DMU there is always something to do or see, check out our events for yourself.

DMU research news target area image
DMU research news

Read about our latest research efforts.

De Montfort Open Research Archive (DORA) target area image
De Montfort Open Research Archive (DORA)

De Montfort University's research repository.