Se informa examen de Magíster en Ciencias de la Ingeniería Informática de Ignacio Alejandro Jorquera Navarro, quien presenta el tema “Automatizando la Combinación de Lógicas SMT en Modelos Matemáticos para la Resolución de problemas de Optimización”
Comisión de Examen:
-Dr. Carlos Castro V.: Director de Tesis
(Departamento de. Informática- USM)
-Dr. Nicolás Sebastián Gálvez R.: Co-Director de Tesis
(Departamento de Electrónica – USM)
-Dra. Elizabeth Montero U.: Evaluadora Interna
(Departamento de. Informática- USM)
-Dr. Óscar Vásquez P.: Evaluador Externo
(Depto. Ingeniería Industrial- USACH)
-Dra. Elizabeth Montero U. : Presidenta Comisión de Examen
(Depto. Informática- USM)
Martes 31 de marzo del 2026, 09:00 horas
Sala de Reuniones K-528, Campus San Joaquín, Santiago
