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

Research interests:Testing, Software Engineering, Program Analysis