Facundo Molina
Assistant Professor at Universidad Complutense de Madrid
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolFacundo Molina is an Assistant Professor in Madrid with 11 years of experience specializing in software testing, program analysis, and AI for software engineering. His research blends AI techniques—LLMs, neural nets, and evolutionary computation—with formal methods to automate test oracles, patch validation, and metamorphic relation generation, aiming to measurably improve software reliability. He has hands-on experience fuzzing deep learning libraries (PyTorch, TensorFlow) and applying symbolic execution for more precise analysis, a combination that bridges academic rigor and practical tooling. After a postdoc at IMDEA and a PhD focused on AI-driven program analysis, he now teaches computer science while continuing applied research that targets real-world quality metrics and automated validation. Notably, he pursues automated oracle assessment metrics—an often-overlooked but critical piece for reliable test automation.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Universidad Nacional de CórdobaLicenciatura en Ciencias de la Computación Software Engineering & Formal Methods, Licenciatura en Ciencias de la Computación Software Engineering & Formal Methods at Universidad Nacional de Río Cuarto
Spanish, EnglishProgramming languages (2)
Github contributions (5)
bmilanesio/bmilanesio.github.io
Sep 2022 - Jan 2023
Contributions:38 commits, 38 pushes in 3 months
facumolina/facumolina.github.io
Aug 2018 - Apr 2025
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:122 pushes in 6 years 8 months
templategithub-pages-templatemmistakesmistakesjekyll
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.