Prof. Taha's Resource Aware Programming (RAP) research group at Rice develops techniques for building high-quality computing systems. The group develops new programming language concepts, software engineering methods, and compiling technologies. Taha is a firm believer in demonstrating the significance of such innovations in challenging application domains. Recent research projects have focused on domains such as device drivers, real-time and embedded systems, robotics, and digital hardware design.

Prof. Taha is responsible for developing multi-stage programming, languages such as MetaOCaml and Concoqtion, statically typed macros, tag elimination, tagless staged interpreters, event-driven functional reactive programming (E-FRP), the notion of exact software design, and gradual typing.

Prof. Taha is also the founder of the International Conference on Generative Programming and Component Engineering (GPCE), and the IFIP Working Group on Program Generation (WG 2.11). In addition to numerous peer-reviewed publications, Taha has edited special issues of the Journal of Functional Programming and the Science of Computer Programming. He serves on the program committee of numerous international conferences and workshops, including EMSOFT, ICCESS, PEPM, GPCE, EUC, ESOP, and PLPV.

Taha's research is funded by the National Science Foundation (NSF), the Texas Advanced Technology Programming (ATP), the Semiconductor Research Consortium (SRC, for an Intel custom project), National Instruments (NI), and Schlumberger.