Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Served as a program committee member for various international conferences including ICSE, ISSTA, ICST, GECCO, SSBSE; reviewer for multiple journals such as Information and Software Technology, ACM Transactions on Software Engineering and Methodology, IEEE Transactions on Software Engineering, etc.; involved in organizing several academic conferences and workshops.
Research Experience
Currently a professor at the University of Buenos Aires, researcher at CONICET, and member of the LIA-INFINIS laboratory.
Education
PhD, Universidad de Buenos Aires (UBA), Advisor: Marcelo Fabian Frias (ITBA)
Background
Research Interests: Automatic Test Generation, Specification Inference, and Program Verification. Also very fond of decision procedures such as SMT and SAT.