Dr. Juan Pablo Galeotti - University of Buenos Aires

Dr. Juan P. Galeotti

FTA Professor @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires


About Me

Dr. Juan Pablo Galeotti

I am a professor at University of Buenos Aires (UBA) and at the National University of Quilmes (UNQ). 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.

Email: J [LASTNAME] aT dc DoT uba DoT ar 


  • We are hiring! Please contact me for PhD and Post-doc opportunities.


My PhD Thesis: Software Verification using Alloy, advisor: Marcelo Fabian Frias (ITBA) 


Program Committees

Journal Reviewer

Organizing Committees


2nd Semester 2016:

  • Programación Concurrente (Concurrent Programming) @ UNQ
  • Generación Automática de Casos de Tests (Automatic Test Case Generation) @ UBA

1st Semester 2016

Summer Semester 2016:

2nd Semester 2015:

1st Semester 2015: Concurrent Programming @ UNQ

2nd Semester 2014: Automated Debugging @ Saarland University (Germany)

1st Semester 2014: Generating Software Tests @ Saarland University (Germany)

Earlier Courses: Automatic Software Validation and Verification (UBA), Automatic Program Analysis (UBA), Computer Organization 1 (UBA), Programming 2 (UBA), Software Architectures (UBA), Automatic Program Verification and Testing (Saarland), Testing, Verification & Everything In Between (Saarland), Pro-seminar in Testing (Saarland).

Phd Students/Post-docs

  • We are hiring! Please do contact me if you are interested in a PhD or a Post-doc opportunity!

Undergraduate Students (simil to MSc thesis)


PhD Students:

  • None

Master Students:

  • Nicolas Calderini (Dynamic Symbolic Execution for Complex Heap Configurations)
  • Pablo Antonio (Generating Test Cases for Enabledness Preserving Automatas)
  • Gustavo Giráldez (Unit Test Generation for JNI Applications)
  • Ignacio Pulice and Nicolás Ravasi (System Test Generation for Android Applications)

Previous students (link to their thesis):

  • 2015: Nikolas Havrikov (co-advisor Matthias Hoeschelle), Sebastian Kappler, Elias Hartz (co-advisor A. Gorla), K. Salvesen (co-advisor F. Gross)
  • 2013: Alexander Kampmann (co-advisor A. Zeller) 
  • 2012: Daniel Ciolek (co-adivsor M. Frias), Marcos Chicote (co-advisor D. Garbervetsky)
  • 2011: Bruno Cuervo Parino (co-advisor D. Garbervetsky)
  • 2010: Brian Cardiff (co-advisor M. Frias), Gabriel Gasser Noblia & Diego P. Dobniewski, Esteban Lanzarotti (co-advisor S. Mera), Pablo Bendersky (co-advisor D. Garbervetsky), 


Automatic Test Case Generation:

  • EvoSuite: Automatic Test Suite Generation for Java using Genetic Algorithms.
  • XMLMate: Search-based input generation for XML applications.

Automatic Program Verification:

  • DynaMate: Automating Full Functional Verification of Programs with Loops.
  • TACO: Bounded Program Verification of Java Programs using SAT-Solving.

Resource Inference:

  • Resource Contracts.NET: An extenstion of Code Contracts to specify and verify memory consumption constraints in .NET programs.



Currently (selection):

  • Vice-Head of CONICET-PIP project "Mejorando la verificación acotada usando técnicas de análisis dataflow y demostradores módulo teorías" (2012-2014).
  • Co-Director of UBA-UBACyT project "Especificación y análisis cuantitativo del uso de la memoria dinámica con foco en la escalabilidad y usabilidad" (2012-2105).
  • Member of project ANCyT-PICT-2013-2341 “Análisis cuantitativo de recursos en lenguajes orientados a objetos” (2014-2016)

Previously (selection):


  • Tel/Fax: (+54) (11) 4576-3390/96 ext. 705 
  • Email: J [LASTNAME] aT dc DoT uba DoT ar 
  • Address: Oficina 13 - Pabellón I - Ciudad Universitaria - CP 1428 - Buenos Aires - Argentina

If you wish, you may also contact me through Facebook or Twitter.