Computer systems are omnipresent. 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 greatly 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 formally based specification and analysis techniques.

In our research group, we seek for 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.

Latest News

It has been down for way too long. It is now up, a little stylized, and static.
MISSION es un proyecto de movilidad internacional que involucra instituciones de Europa, Argentina, y China.
Será dictada por Pedro R. D'Argenio el próximo martes 5 de septiembre
Fue el el 29 de Mayo pasado, en el Auditorio FaMAF
Bisimilarity of Open Terms in Stream GSOS
Este jueves 1 de diciembre, a las 11:00 en la Sala Smith