About
I'm a PhD student and researcher at INTIA & i3Lab (University of Extremadura), working at the intersection of AI and Software Engineering.
My research focuses on systematically benchmarking LLM-based multi-agent systems for software development. I explore Specification-Driven Development (SDD) as an approach to leverage formal specifications not only for guiding code generation, but for automatically producing evaluation artifacts that ensure quality and correctness.
The goal: establish rigorous methodologies for trustworthy AI-assisted software development, where generated code can be validated systematically, transparently, and at scale.
Expertise
Multi-Agent SystemsLLM OrchestrationRAG ArchitectureSpec-Driven DevelopmentAI-Generated Code ValidationPythonSoftware Engineering
Journey
2022
B.Sc. Software EngineeringUniversity of Extremadura
2023
M.Sc. Artificial IntelligenceUNIR + Data Analyst
2024
Research PositionINTIA & i3Lab
2024
PhD StudentUniversity of Extremadura
Research
Education
2023
M.Sc. in Artificial IntelligenceUNIR
2023
Advanced University Course in Data AnalystUNIR
2022
B.Sc. in Software EngineeringUniversity of Extremadura
Focus Areas
01Multi-Agent Systems
02AI-Assisted Software Development
03Spec-Driven Development
04RAG Architectures
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
↗