Producción por año
Producción por año
Resultados de investigaciones por año
Su trabajo se ha centrado en la determinación de semánticas concretas para ciertas extensiones de lógica lineal y el uso de métodos de punto fijo en una clase particular de juegos bipersonales, así como el uso de método formales de verificación en sistemas híbridos. He participado como investigador en proyectos que han involucrado el uso de herramientas topológicas para entender fenómenos de desplazamiento frente a acciones violentas y la optimización de procesos haciendo uso de teoría de grafos. Actualmente me concentro en la extensión de un modelo semántico para lógica lineal basado en la estructura de espacios simpléticos para el caso del operador Bang “!” que conlleve a tener buenas propiedades.
Doctorado, Doctor en ciencias matemáticas, Universidad del Valle
Fecha de grado: 26 nov. 2016
Pregrado, Matemático, Universidad del Valle
Fecha de grado: 27 may. 2005
Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
Producción: Contribución a una revista › Artículo › revisión exhaustiva
Producción: Contribución a una revista › Artículo › revisión exhaustiva
Producción: Contribución a una revista › Artículo › revisión exhaustiva
Ramirez Ovalle, C. E. (Docente APS)
10/01/23 → 30/06/23
Proyecto: Aprendizaje Servicio
Ramirez Ovalle, C. E. (Investigador principal)
01/02/21 → 01/12/21
Proyecto: Investigación