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
GitHub: https://github.com/matiasbrizzio
Research interests:Requirements Engineering, Search-Based Software Engineering, Genetic Algorithms, Formal Methods, Reactive Synthesis,
Contributions
Using general profile