Juan Pablo Galeotti

Juan Pablo Galeotti is a Professor at the University of Buenos Aires (UBA) in the Department of Computer Science within the Faculty of Exact and Natural Sciences. He is also a researcher at CONICET and a member of the LaFHIS and LIA-INFINIS laboratories. His research focuses on automatic test generation, program verification, specification inference, and decision procedures like SMT and SAT.

Education & Background: While specific degrees are not mentioned, his PhD thesis was titled "Software Verification using Alloy", advised by Marcelo Fabian Frias.

Research Interests: His work spans:

• Search-based software testing
• REST API fuzzing and testing
• Smart contract verification
• Dynamic and static analysis
• Testability transformations
• Loop invariant inference

Publications & Trends: Galeotti has published extensively in top-tier venues like ICSE, FSE, ASE, ISSTA, IEEE TSE, and ACM TOSEM. His recent work (2020–2025) focuses on tools like EvoMaster for REST API testing, EvoSuite for Java unit testing, and TACO for SAT-based verification.

Awards & Service: He has served as PC Co-Chair for SBST@ICSE 2017–2018, PC Member for ICSE, ISSTA, ICST, and reviewer for journals like TOSEM, TSE. He co-organized ISSTA 2016 and ICSE 2017.

Students & Projects: He currently supervises 3 PhD and 4 Master’s students. He has co-directed CONICET and UBA-funded projects on bounded verification and memory analysis.

Labs & Collaborations: He leads research at LaFHIS and collaborates with LIA-INFINIS, working on tools like EvoMaster, DynaMate, and TACO.