Dependable Systems Group (DSG)

What we do

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 systems; secure systems; fault tolerant systems; performance optimisation; multi process/processor systems; hybrid/embedded systems; predictable systems.

We are part of the Scottish Informatics and Computer Science Alliance
, 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 Scottish Programming Languages Institute (SPLI).

We have strong links to other Scottish universities and these are listed on the DSG pages 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.

For more information visit Dependable Systems Group pages and Lab for AI and Verification (LAIV) pages

Group members

Marko DokoJamie GabbayLilia GeorgievaJurriaan Hage, Idris Skloul IbrahimAndrew IrelandEkaterina KomendantskayaHans-Wolfgang LoidlManuel MaarekJames McKinnaMuhammad NajibAdam SampsonFilip SieczkowskiKathrin StarkRob StewartYun Wu