Doctor en Filosofía (PhD.) (Universidad Estatal de Luisiana, 2012), Magister en Ciencia (Msc.) (Universidad Estatal de Utah, 2007), Docente-Investigador en Pontificia Universidad Católica Madre y Maestra, 2016).

Sus investigaciones han girado en torno a las temáticas de verificación formal (p.ej., aplicaciones de la lógica contra fáctica-al análisis estático de código fuente), las aplicaciones de sistemas de sensores distribuidos a sistemas críticos (p.ej., el uso de redes de sensores en aplicaciones agrícolas) y las aplicaciones de sensores de monitoreo para contextos de entornos inteligentes (Smart campus y Smart Cities).