De interés General

ESTUDIANTE EN EL XI CONGRESO COLOMBIANO

ESTUDIANTE EN EL XI CONGRESO COLOMBIANO DE COMPUTACIÓN (11CCC)


Miguel Ángel Romero González, estudiante del Programa de Ingeniería de Sistemas, participó en el XI Congreso Colombiano de Computación (11CCC) con el artículo "Library Management for PVS", resultado de su Proyecto de Grado, escrito en coautoría con el profesor Hernán Camilo Rocha Niño, de la Pontificia Universidad Javeriana de Cali. Este congreso es considerado como el evento científico nacional más importante en esta área, es auspiciado por la Sociedad Colombiana de Computación y fue organizado por la Universidad del Cauca del 28 al 30 de septiembre en Popayán.

Esta participación forma parte del proceso de divulgación del proyecto de investigación "Teoría de conjuntos desde una perspectiva calculatoria", que actualmente adelantan los grupos de investigación Pentagogía (Matemáticas) y CTG-Informática (Sistemas), financiado por la convocatoria interna de investigación 2015 de la Escuela. El artículo que presentó Miguel Ángel se refiere a una herramienta para administrar librerías matemáticas de PVS, un demostrador de teoremas de alto orden utilizado por la NASA para labores de verificación mecánica.