COSMOS logo - developed by Luis Alfonso Alías Ilarri

The COS2MOS (Computer Science for Complex System Modeling) research group is a group recognized as "reference group" by the Government of Aragón for the period 2020-2022. Previously, it was recognized as "group in development" by the Government of Aragón for the period 2017-2020, so the group is growing and improving. The group is partially co-financed by the Aragonese Government and the European Social Fund. The group is integrated in the Department of Computer Science and Systems Engineering (DIIS) of the University of Zaragoza (UZ) in the School of Engineering and Architecture (EINA). It is one of the groups of the Aragon Institute of Engineering Research (I3A). The main activity of the group is the development of complex systems, that imply distributed systems with non-functional requirements of scalability, fault-tolerance, and/or dynamic behavior and structure. These systems usually require formal models and methodologies that allow the modeler to reason about the correction of the proposed solutions, the use of large distributed computing infrastructures, and the use of techniques of management and exploitation of large volumes of data. Complex systems can appear, among others, in scenarios of smart grid, smart cities, vehicular networks, etc.

Here you will find information about our activities, projects and research work. Our research activities are closely connected with current societal challenges proposed by the H2020 program of the European Union. These challenges covers complex domains such as smart cities, health, energy, transport, digital society, security, etc.


University of Zaragoza
School of Engineering and Architecture
Department of Computer Science and Systems Engineering
Edificio Ada Byron
Maria de Luna, 1
E-50018 Zaragoza, Spain