Facundo Molina

I work at the IMDEA Software Institute as a Postdoctoral Researcher, under the supervision of Alessandra Gorla. My main research interests are in the area of Software Testing and Analysis, with the goal of improving software reliability and quality.

In April 2022, I received my Ph.D. at FAMAF, University of Córdoba (UNC), where I was advised by Professor Nazareno Aguirre. My research focused on the automated generation of test oracles, in the form of class invariants and postconditions. Particularly, my work involved the use of search-based and learning-based techniques with the goal of obtaining precise oracles.