About
I'm a PhD student at INTIA (University of Extremadura), focused on making AI-assisted software development more reliable and useful in practice.
My research focuses on quality assurance for code produced by large language models. I use specification-driven development (SDD) to turn formal specifications into tests, checks, and evaluation artifacts that help surface mistakes earlier and make generated code easier to trust.
The broader goal is transparent, reproducible AI-assisted development: models can help us move faster, but we still need systematic ways to measure and improve correctness without losing confidence in the result.
Journey
2022
B.Sc. Software Engineering
University of Extremadura
2023
M.Sc. Artificial Intelligence
UNIR + Data Analyst
2024
Research Position
INTIA & i3Lab
2024
PhD Student
INTIA, University of Extremadura
Research
Education
2023
M.Sc. in Artificial Intelligence
UNIR
2023
Advanced University Course in Data Analyst
UNIR
2022
B.Sc. in Software Engineering
University of Extremadura
Focus areas
01
LLM-generated code quality
02
Specification-driven development (SDD)
03
Multi-agent & tool-using systems
04
RAG & retrieval for engineering workflows
Publications
2025
Systematic Benchmarking of LLM-based Multi-Agent Systems for Software Engineering
JISBD 2025
↗
2025
AI-Based System for Assistance in Minimally Invasive Renal Procedures
Using Mixed Reality. First Steps
↗
2025
Prompt Once, Segment Everything: Leveraging SAM 2
↗
2024
Advancing precision in medical image segmentation
↗
2024
No More Training: SAM's Zero-Shot Transfer Capabilities
↗