ECOOP and ISSTA 2023 (series) / Juan Pablo Galeotti
![Juan Pablo Galeotti](https://conf.researchr.org/getProfileImage/juanpablogaleotti/6fda5a51-8b0c-41ad-98d7-998b10a270c3/small.jpg?1711461155000)
Registered user since Thu 7 Feb 2019
Name:Juan Pablo Galeotti
Bio:
I am a professor at University of Buenos Aires (UBA). I am also a researcher at CONICET and a member of LIA-INFINIS laboratory.
My main research interests are Automatic Test Generation, Specification Inference and Program Verification. I am also very fond of decision procedures such as SMT and SAT.
Country:Argentina
Affiliation:University of Buenos Aires
Personal website: http://lafhis.dc.uba.ar/~jgaleotti
Research interests:Testing, Software Engineering, Program Analysis
Contributions
ECOOP and ISSTA 2023-profile
View general profile
View general profile