
Nicolás Sebastián Gálvez Ramírez
Académico
Universidad Técnica Federico Santa María
Santiago, Chile
Optimización Combinatoria y Discreta, Inteligencia Artificial y Agentes Autónomos; Computación Evolutiva y Algoritmos Bio-Inspirados; Ciencia de Datos y Máquinas de Aprendizaje.
-
Informatique, UNIVERSITE D'ANGERS. Francia, 2018
-
Informática, UNIVERSIDAD TECNICA FEDERICO SANTA MARIA. Chile, 2018
-
Informática, UNIVERSIDAD TECNICA FEDERICO SANTA MARIA. Chile, 2014
-
Ingeniero Civil en Informática, UNIVERSIDAD TECNICA FEDERICO SANTA MARIA. Chile, 2011
-
Profesor Part-Time Part Time
UNIVERSIDAD TECNICA FEDERICO SANTA MARIA
Chile
2012 - 2020
-
Académico Full Time
UNIVERSIDAD TECNICA FEDERICO SANTA MARIA
Santiago, Chile
2020 - At present
-
Beca Doctorado Nacional
COMISION NACIONAL DE INVESTIGACION CIENTIFICA Y TECNOLOGICA
Chile, 2013
CONICYT Doctoral Grant Call 2013
Optimizing SMT Solving Strategies by Learning with an Evolutionary Process |
Towards automated strategies in satisfiability modulo theory |
Towards an autonomous constraint-encoding OMT solver. |
Cooperation for sustainable food systems associated to global port infrastructure |
1

Marcos Zúñiga
Assistant Professor
Electrónica
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARIA
Valparaíso, Chile
2

Nicolas Valenzuela
Profesor Asistente
Departamento de Arquitectura
Universidad Técnica Federico Santa María
Santiago, Chile