COS2MOS Computer Science for Complex System modelling

Contact Information

University of Zaragoza

Department of Computer Science

C/María de Luna, 1

50018 Zaragoza (Spain).

Ada Byron Building

room  D.0.09

email silarri at unizar.es

tel. +34 876 555262

fax. +34 976 761914

The COS2MOS research team is officially accredited as "Emergent Research Group" by the Aragonese Government (Ref. T93), thus partially co-financed by the Aragonese Government and the European Social Fund. It is part of the Department of Computer Science and Systems Engineering at the University of Zaragoza. It is also integrated in the Aragon Institute for Engineering Research (I3A).

Here you will find information about our activities, projects and research work. The main research activity are the development of complex systems: Distributed systems with non functional requirements such a scalability, fault tolerance, dynamic structure and behaviour. These systems require formal models and methodologies that allow the modeller to reason about the correctness of proposed solutions.

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 health, energy, transport, digital society, security, etc.