Coloquio Departamento de Informática USM: “Elección automática -anytime- de algoritmos para problemas NP-hard”

POSTERGADO POR CEREMONIA DE INAUGURACIÓN DE AÑO ACADÉMICO 2023.

El Departamento de Informática de la Universidad Técnica Federico Santa María tiene el agrado de invitar a la comunidad Universitaria a su ciclo de coloquios. Esta presentación se realizará en el Laboratorio de Programación Avanzada (LPA) B-038, Campus San Joaquín USM y será transmitida por videoconferencia a través del canal del Departamento de Informática https://tv.inf.utfsm.cl/coloquio, el martes 11 de abril a las 12:15 hrs.

Expositor

Roberto Asín, Profesor Departamento de Informática USM.

Mini Bio

Roberto Asín nació en Cochabamba, Bolivia, donde realizó sus estudios de pregrado, en Ingeniería de Sistemas, en la Universidad Católica Boliviana, San Pablo. Cursó estudios de doctorado en la Universidad Politécnica de Cataluña, en Barcelona, España bajo la supervisión de los Profesores: Robert Nieuwenhuis, Albert Oliveras y Enric Rodríguez-Carbonell, en los que desarrolló su tesis doctoral, titulada: “Sat-based techniques for combinatorial optimization”, defendida el 2010. Roberto tiene varias publicaciones relacionadas con Optimización Combinatoria en general y aplicaciones de técnicas SAT, búsqueda heurística y selección automática de algoritmos en particular. Sus áreas de interés académico son: Optimización Combinatoria, Métodos exactos basados en lógica, y Selección automática de algoritmos.  Actualmente, es co-líder del Grupo de Investigación en Meta-algoritmos que mantiene junto con investigadoras e investigadores de la Universidad de California, Berkeley, adscrito al Instituto de Investigación en Inteligencia Artificial, para avances en Optimización, financiado por la Fundación Nacional de Ciencias de EEUU.

Resumen

La selección automática de algoritmos persigue identificar qué algoritmo, dentro de un portafolio, provee mayor rendimiento para una instancia particular de un problema dado. Sin embargo, tradicionalmente, el trabajo previo en selección de algoritmos ignoraba límites preestablecidos sobre la cantidad de recursos
computacionales disponibles. En esta charla nosotros discutiremos la importancia de considerar estos límites y cómo esto influye a la hora de diseñar modelos de selección automática de algoritmos efectiva y útil para problemas NP-hard.   Profe