Sr. Nicolás Sebastián Gálvez Ramírez obtiene su grado de Doctor en Ingeniería en Informática

Con éxito se realizó la defensa de la tesis titulada “A Framework for Autonomous Generation of Strategies in Satisfiability Modulo Theories”” con el cual el Sr. Nicolás Sebastián Gálvez Ramírez obtuvo el grado de Doctor en Ingeniería Informática.

Fecha y lugar: Viernes 19 de Diciembre de 2018, 10:00 hrs, Casa central (F-106)

Comisión:

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