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
ICSE 2024-profile
View general profile
View general profile