conf.researchr.org / Matías Brizzio
![Matías Brizzio](https://conf.researchr.org/getProfileImage/matiasbrizzio/1b342511-3844-4edd-8098-b52c0d8b3681/small.jpg?1730973470000)
Registered user since Tue 9 Jan 2024
Name:Matías Brizzio
Bio:
I am a PhD student at IMDEA Software Institute, specializing in software analysis and engineering. My research delves into the intersection of formal methods, Search-Based Software Engineering, and the application of AI in software engineering (AI4SE).
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://orcid.org/0009-0000-9427-9345
GitHub: https://github.com/matiasbrizzio
Research interests:Requirements Engineering, Search-Based Software Engineering, Genetic Algorithms, Formal Methods, Reactive Synthesis
Contributions