PABLO DANIEL PONZIO

PONZIO, PABLO DANIEL

Investigador adjunto

Especialidad

Ingeniería de Software

Disciplina Científica

Informática y Comunicaciones - Informática y Comunicaciones

Tema

Enfoques automáticos de análisis de código y de especificaciones formales

Lugar de Trabajo

GRUPO DE INGENIERIA DE SOFTWARE

Depende de

UNIVERSIDAD NACIONAL DE RIO CUARTO

FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES

Ver más información Ver menos información

Dirección:

RUTA NACIONAL 36 KM.601 0, 5800 - Río Cuarto - Córdoba - Argentina

Resumen Información suministrada por el agente en SIGEVA

Mi línea de investigación es la Ingeniería de Software, en el área de las Ciencias de la Computación. Mi investigación se centra en el desarrollo de metodologías y enfoques que apunta a incrementar la calidad del software producido. En particular, trabajo en el desarrollo de enfoques automáticos de análisis de software para asistir a los desarrolladores en el descubrimiento de fallas en etapas tempranas del proceso de desarrollo, poniendo especial énfasis en enfoques que requieran un esfuerzo m... Mi línea de investigación es la Ingeniería de Software, en el área de las Ciencias de la Computación. Mi investigación se centra en el desarrollo de metodologías y enfoques que apunta a incrementar la calidad del software producido. En particular, trabajo en el desarrollo de enfoques automáticos de análisis de software para asistir a los desarrolladores en el descubrimiento de fallas en etapas tempranas del proceso de desarrollo, poniendo especial énfasis en enfoques que requieran un esfuerzo mínimo de utilización por parte del programador. Más específicamente, en los últimos años mi trabajo de investigación se ha centrado en enfoques de testing automático de software (generación automática de entradas, criterios de cobertura, oráculos implícitos). Previamente, me dediqué al desarrollo de enfoques eficientes de análisis de software basados en SAT solving.

Ver más Ver menos

Líneas de Investigación

Ingeniería de Software

Ciencias naturales y exactas

Ciencias de la computación e información
Ciencias de la computación

Palabras Clave

Software TestingTesting de SoftwareLightweight Formal MethodsSoftware SpecificationEspecificación de SoftwareMétodos Formales LivianosSoftware EngineeringIngeniería de Software

Formación Académica

2007 - 2014

Doctor de la Universidad de Buenos Aires, área Computación

UNIVERSIDAD DE BUENOS AIRES

2000 - 2007

Licenciado en Ciencias de la Computación

UNIVERSIDAD NACIONAL DE RIO CUARTO