Actualmente, soy un Investigador Asociado en el Departamento de Ciencias de la Computación del IIMAS, y trabajo en el área de Teoría de la Computación.
Mi investigación se enfoca en el estudio de sistemas composicionales, donde hago uso de herramientas algebraicas para investigar su comportamiento. En particular, hago uso de teoría de categorías para intentar obtener teorías ecuaciones que nos permitan razonar sobre diversas áreas de las matemáticas.
Antes de formar parte del Instituto, realicé mi doctorado en el University College London, en Reino Unido. Antes de esto, estudié Matemáticas en la Facultad de Ciencias, e Ingeniería en Computación en la Facultad de Ingeniería, ambas en la UNAM.