Juan Pablo Galeotti
Scholar

Juan Pablo Galeotti

Google Scholar ID: xeL-QIoAAAAJ
Universidad de Buenos Aires
Software EngineeringTestingVerification
Citations & Impact
All-time
Citations
692
 
H-index
17
 
i10-index
21
 
Publications
20
 
Co-authors
37
list available
Publications
20 items
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.
Miscellany
  • Hiring for PhD and Post-doc positions.