Computer systems have never been so ubiquitous. We continuously interact with them, direct or indirectly. Examples abound: web services, medical systems, mobile devices, automotive, communication networks, the electrical grid, etc. Modern life unquestionably depends on their proper functioning, and hence, it demands that they provide services that can be justifiably relied upon; that is, that they are dependable. This involves requirements such as safety, reliability, availability, and security that can only be guaranteed through specification and analysis techniques based on solid mathematical ground.
In the Dependable Systems Group, we seek and develop mathematical and logical foundations as well as algorithms that contribute to the developments of techniques and tools for specification and analysis of systems with the aim to achieve dependability.