ARA

Led by Prof. Guillermo A. Perez, ARA focuses on creating and analyzing methods for automated verification. This work spans areas such as model-checking theory and application, automated synthesis of reactive control systems, and guarantee-driven learning frameworks, among other topics. Their expertise is particularly relevant for companies—both software and hardware—engaged in building safety-critical, software-heavy or cyber-physical products.