Doctor in Philosophy (Ph.D.) (Louisiana State University, 2012), Master of Science (M.Sc.) (Utah State University, 2007), Faculty Researcher at Pontificia Universidad Católica Madre y Maestra, 2016.

His research has revolved around formal verification (e.g., applications of counterfactual logic to static source code analysis), distributed sensor system applications to critical systems (e.g., the use of sensor networks in agricultural applications), and monitoring sensor applications for intelligent environments (Smart campus and Smart Cities). Holds the position of Seconded Researcher within the National Research Career.