20082024

Resultados de investigaciones por año

Información general

Perfil

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.

Formación académica

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

Huella digital

Profundizar en los temas de investigación en los que Carlos Ernesto Ramirez Ovalle está activo. Estas etiquetas de temas provienen de las obras de esta persona. Juntos, forma una huella digital única.
  • 1 Perfiles similares

Colaboraciones y áreas de investigación principales de los últimos cinco años

Colaboración externa reciente a nivel de país/territorio. Para consultar los detalles, haga clic en los puntos o