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.
Formación académica
Doctorado Universidad del Valle
Doctorado en Ciencias Matemáticas
Agosto 2012 - Noviembre 2016
Pregrado/Universitario Universidad del Valle
Matemáticas
Agosto 2000 - Mayo 2005
Construcción de un sistema de restricciones basado en lógicas anotadas
Experiencia profesional
Pontificia Universidad Javeriana Cali
Dedicación: 40 horas Semanales Febrero de 2017
Universidad del Valle
Dedicación: horas Semanales Julio de 2012
Pontificia Universidad Javeriana Cali
Dedicación: 15 horas Semanales Agosto de 2005 de Actual
Universidad Icesi
Dedicación: 12 horas Semanales Agosto de 2005 de Actual
Reconocimientos
En la Javeriana Cali estamos convencidos de que la educación es clave a la hora de cambiar la realidad del planeta. Conoce nuestra oferta académica e identifica el programa con el que podrás aportar a la transformación de tu entorno.
Desarrolla soluciones creativas e innovadoras para crear y liderar todo tipo de organizaciones
Proyecta espacios que entreguen calidad de vida al ser humano y cuidado al medio ambiente. Estudia Arquitectura.
Sé un creador sensible y crítico capaz de impactar y transformar el contexto local y global desde las artes. Estudia Artes visuales.
Aún hay especies esperando a que las descubras y clasifiques para preservar la vida.
Haz que la ciencia del poder esté siempre al servicio de la paz. Estudia Ciencia Política.
Comunicación en 8 semestres. Comprende las lógicas creativas de la comunicación en el campo audiovisual, multimedial y el de las organizaciones. ¡Conviértete en un comunicador integral!
Haz que tu imaginación y tu talento visual trasciendan las fronteras de la creación y descubran nuevas formas de comunicar. Estudia Diseño de Comunicación Visual.
Reconoce el sistema económico en el que vivimos y rétate a tomar las mejores decisiones en pro del desarrollo y el bienestar económico y social de todos. Estudia Economía.
Departamentos
Asignaturas
Pregrado
Invitamos a profesores e investigadores de la Universidad a participar en los articulos y noticias de investigacion
Te contamos algunas de las aplicaciones de las matemáticas en la vida cotidiana que te sorprenderán.
