Carlos Ernesto Ramírez Ovalle
Ingeniería y Ciencias
Mi 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.
