Dependable Systems Group

The Dependable Systems Group (DSG) is a diverse collection of colleagues working in a range of areas covering foundations, systems and applications of both.

The research aims and objectives of the Dependable Systems Group are to improve the reliability and predictability of computer systems through the development and application of rigorous design, implementation and verification techniques. More broadly, Dependable Systems research is considered as spanning the following three layers:

• Foundations: #

  logic; discrete mathematics; computability; algorithmic analysis and complexity.

• Technologies: #

  specification oriented prototyping; performance modeling; simulation; formal verification; empirical verification and validation; automated reasoning; refinement and synthesis.

• Applications: #

  artificial intelligence; safety critical system; secure systems; fault tolerant systems; performance optimisation; multi process/processor systems; hybrid/embedded systems; predictable systems.

More information on the current research areas and overview DSG Poster #

We are part of the Scottish Informatics and Computer Science Alliance (SICSA), which pools together the top computing departments in Scotland and also provides an enriched research environment for all staff and students.

We are part of the emerging Scottish Programming Languages Institute (SPLI).

We have strong links to other Scottish universities and these are listed in the section on Collaborators.

The seminars of the DSG group are merged with those of the LAIV group and a seminar schedule is available here.