×

Advertencia

JUser: :_load: No se ha podido cargar al usuario con 'ID': 730
Desde Diciembre 19, 2018 10:00 hasta Diciembre 19, 2018 11:30

Examen de Grado Doctorado INF: ““A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories.”

EXAMEN DE GRADO
DOCTORADO EN INGENIERÍA INFORMÁTICA
Presenta el candidato a Doctor, sr. Nicolás Gálvez Ramírez, Miércoles 19 de Diciembre, 10:00 horas, Auditorio Claudio Matamoros (F-106), Campus Casa Central, y por videoconferencia a la Sala de Reuniones del DI, Campus San Joaquín, UTFSM.


Los profesores que conforman la Comisión de Examen son los siguientes:

- Director de Tesis: Dr. Carlos Castro (Depto. Informática- UTFSM)
- Co-Director de Tesis: Prof. Dr. Frédéric Saubion (Universidad de Angers, Francia)
- Co-Director de Tesis: Prof. Dr. Eric Monfroy (Universidad de Nantes, Francia)
- Correferente Interna: Profa. Dra. María Cristina Riff (Departamento de Informática - UTFSM)
- Correferente Externo Nacional: Prof. Dr. Broderick Crawford (Pontificia Universidad Católica de Valparaíso, Chile)
- Correferente Externo Internacional: Prof. Dr. Christophe Ringeissen (INRIA- LORRAINE- Francia)
- Presidente Comisión: Prof. Dr. Hernán Astudillo (Depto. Informática- UTFSM)

Ver afiche adjunto para más información.