PABLO DANIEL PONZIO

PONZIO, PABLO DANIEL

Adjunctive researcher

Speciality

Ingeniería de Software

Scientific discipline

Computer Science and Communications - Computer Science and Communications

Topic

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

Workplace

GRUPO DE INGENIERIA DE SOFTWARE

Dependencies

UNIVERSIDAD NACIONAL DE RIO CUARTO

FACULTAD DE CIENCIAS EXACTAS FISICOQUIMICAS Y NATURALES

Show more information Show less information

Address:

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

Summary Information provided by the agent in 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.

Show more Show less

Lines of Investigation

Ingeniería de Software

Natural and exact sciences

Computer and information sciences
Computer sciences

Key Words

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

Education

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