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 2023-2025. Previously, it was also recognized by the Government of Aragón as "reference group" during the period 2020-2022 and as "group in development" for the period 2017-2020. With each recognition period, the group has been growing and improving. The group is integrated in the Department of Computer Science and Systems Engineering (DIIS) of the University of Zaragoza (UZ), with members in different faculties of the University of Zaragoza (like the School of Engineering and Architecture (EINA), the Faculty of Social Sciences, and the Faculty of Sciences). 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.

The activity of the group is currently supported by the Departamento de Ciencia, Universidad y Sociedad del Conocimiento del Gobierno de Aragón (Government of Aragon: Group Reference T64_23R, COSMOS research group).