Formal Techniques in Software Engineering (FOTS) - Under the leadership of Prof. Guillermo A. Perez, FOTS specializes in the development and study of automatic verification techniques. The latter include the theory and practice of model checking, automatic synthesis of reactive controllers, and the theory of learning with guarantees, amongst others. Usage of research expertise: soft -and hardware companies that develop safety-critical software-intensive and/or cyber-physical systems.