Simón Gutiérrez Brida

Simón Gutiérrez Brida is a researcher at the University of Rio Cuarto and CONICET, Argentina, specializing in formal methods and software engineering with emphasis on automated model repair for Alloy specifications. His work bridges theoretical formal methods with practical software engineering challenges, focusing on enhancing specification reliability through algorithmic solutions.

His research interests span Software Engineering, Formal Methods, Model Repair, Program Repair, and Mutation Testing. He develops innovative techniques for automated fault localization and repair, leveraging counterexamples and iterative feedback to improve Alloy models. His contributions address critical gaps in making formal specifications maintainable and scalable for real-world applications.

Analysis of his 2021-2022 publications reveals a cohesive research trajectory centered on specification repair: iterative methods (ICEBAR), template-based approaches (ATR), and counterexample-guided localization (FLACK) collectively advance the automation of Alloy model correction. These works emphasize practical tooling (e.g., BeAFix) and formal guarantees through bounded exhaustive search, strengthening the applicability of formal methods in software development lifecycles.

Scientific awards: No awards documented in available sources.

Advising and grants: No information regarding student supervision or funded research projects was provided in the source materials.