Dr. Juan Pablo Galeotti - University of Buenos Aires

Dr. Juan P. Galeotti

Dr. Juan Pablo 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 


My Publications

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

My Teaching

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

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

Undergraduate Students (simil to MSc thesis)

Currently: None

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), 

My Tools

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.