Gallegos has been both a recipient of the National Science Foundation minority scholarship and the Alliance for Graduate Education and the Professoriate fellowship since 2004. He was featured in an El Paso Times article entitled, "Wanted: Hispanic high-tech majors: IBM teams with UTEP to prepare students". He received the Best Poster Award at the More Graduate Education at Mountain State Alliance Conference in April 2006. He was recently featured in the Winter 2006/Spring 2007 Minority in College issue of the Diversity/Careers in Engineering and Information Technology magazine.

With the guidance of his mentor, Dr. Ann Gates, Gallegos is involved in ground-breaking research on software formal verification. Software formal verification is mostly used to ensure the correctness and robustness of the software controlling critical systems such as air traffic controllers, nuclear reactors, and highly intensive computational applications and simulations. Specifically, Gallegos is working on formal specification of runtime monitoring properties. His main interest is on identifying ways to simplify the property specification process such that users can specify correct formal properties with the least amount of effort and domain knowledge. His work does not only impact the runtime monitoring effort, but also other areas of software formal verification such as theorem proving and model checking.

Recently part of his work was presented at the United States Geological Survey Geoinformatics Conference and at the Geological Network Cyber-infrastructure for the Geosciences All Hands Meeting, in both instances with great reviews.