1. CONICET
  2. CONICET Community
  3. JUAN PABLO GALEOTTI
CONICET Community

GALEOTTI, JUAN PABLO

Independent researcher

SPECIALITY:

Ingeniería del Software

Scientific discipline:

Computer Science and Communications - Computer Science and Communications

Topic:

Search-based automatic test generation

Workplace

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
Address:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contact:

Send Message

S&T Expertise*

Mis intereses en investigación están orientados hacia la generación automática de casos de tests y la especificación de programas. La generación de casos de tests involucra cuán eficientemente y automáticamente generados casos de tests (tanto a nivel de unidad como a nivel de sistema) para ejercitar un software adecuadamente and aumentar la confianza sobre su comportamiento. La inferencia requiere comprensión de lo que el programa hace y lograr el formalismo correcto para formalizar ese comportamiento.Adicionalmente, he trabajado en verificación acotada de contratos, análisis de programas, diseño de lenguajes de programación y model-checking. En especial, he trabajado en el desarrollo de métodos de decisión completos y combinaciones de SAT y SMT-Solvers *Information provided by the agent in SIGEVA

Lines of Investigation

Ingeniería del Software Engineering and technologies - Electrical engineering, electronic engineering and information engineering - Other electrical engineering, electronic engineering and information engineering

Technological Capacities

  • 1. Electronics, IT and Telecoms
    • 2. Information Processing, Information System, Workflow Management
      • 2.1. Advanced Systems Architecture
      • 2.6. Computer Software
      • 2.10. Databases, Database Management, Data Mining
      • 2.13. Information Technology/Informatics

Key Words

Mining de EspecificacionesVerificacionTestingVerificationSpecification Mining

Education

2005 - 2011

DOCTOR DE LA UNIVERSIDAD DE BUENOS AIRES, ORIENTACION CIENCIAS DE LA COMPUTACION

UNIVERSIDAD DE BUENOS AIRES

1999 - 2004

LICENCIADO EN CIENCIAS DE LA COMPUTACION

UNIVERSIDAD DE BUENOS AIRES

1999 - 2002

ANALISTA UNIVERSITARIO DE COMPUTACION

UNIVERSIDAD DE BUENOS AIRES


S&T HR Training

Director of

Science and Technology Production

Loading data . . .

Services

Loading data . . .