Dependability is the property that defines the ability of computer systems to provide a service that can justifiably rely. Its major attributes are: reliability, safety, availability and maintainability. Currently this property is one of the focuses in virtually all areas of Computer Science. Because of its importance to the user and the software execution environment, interest in dependability has been the subject of quite a few research involving all software development cycles: from analysis (prior to implementation) to testing.

Besides its scope, importance and increasing relevance in the generation of software quality, few academic centers in the world offer the opportunity of Computer Science student to know better how to understand and analyze the software from the perspective of dependability. In our group, we are mostly interested on developing methods, processes and techniques that make dependability an inherent part of software engineering as an active discipline of research and practice. In particular, our current research interests are in dependability analysis and modeling in software systems, particularly probabilistic model checking, self-adaptive systems and goal-oriented requirements engineering.

We work with a very talented and engaged research group. If you are interested in one of our topics of interest and have a proactive attitude, let's talk!