Her research background is in Formal Software Verification. She published articles in Formal Software Verification, Data Mining, Global Software Engineering, Mobile Computing and Education. She was awarded diverse grants from NSF (National Science Foundation), Microsoft, IBM, and NCIIA (National Collegiate Inventors and Innovators Alliance). Her two last NCIIA grants concern the development of mobile applications for global development with an emphasis on applications suitable for the African market.