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 .



/prod01/channel_2/media/uniofsuffolk/website/content-assets/images/staff-profile-photos/research/Salman-Ahmed.jpg)



