Name:Matías Nicolás Brizzio

Bio:

I am an R&T Scientist at the Luxembourg Institute of Science and Technology (LIST), working at the intersection of Formal Methods and Artificial Intelligence. My research focuses on scalable reactive synthesis, automated repair of formal specifications, and LLM-assisted specification engineering.

I introduced mode-based requirements decomposition, a technique that exploits the mode structure of specifications to break reactive synthesis problems into smaller, independently solvable subproblems. My current research combines large language models, software testing techniques (including metamorphic and differential testing), and search-based optimization to identify and resolve quality issues in both formal and natural-language specifications.

Country:Luxembourg

Affiliation:Luxembourg Institute of Science and Technology

Research interests:Requirements Engineering, Search-Based Software Engineering, Genetic Algorithms, Formal Methods, Reactive Synthesis