Es ingeniero de sistemas y doctor en Ingeniería de la Universidad del Valle. Está interesado en estudiar el uso y aplicación de modelos formales y teoría de concurrencia en el análisis, construcción y despliegue de sistemas distribuidos (computación grid, computación en la nube, internet de las cosas) y sistemas complejos. También está interesado en el estudio de algoritmos, lenguajes y paradigmas de programación (teoría y práctica), programación por restricciones y la programación competitiva. Actualmente está vinculado al proyecto PROMUEVA financiado por el Sistema General de Regalías y que busca desarrollar modelos formales que permitan representar y analizar fenómenos de polarización en redes sociales, así como aspectos de privacidad.