Juan Pablo Galeotti


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.

Editorial Board Memberships

Juan is not currently contributing as an editor for any journal or publisher.

Pre Publication Reviews

Showing of