Dr. Mao Zheng is a tenured  faculty member in the Department of Computer  Science  at  the  University  of  Wisconsin©\La  Crosse  in Wisconsin, USA. Her areas of research include Software Engineering, Software Testing and Formal Methods. Dr. Zheng has been actively serving in various IEEE international conferences and journals.  Dr. Zheng received her Ph.D. in Computer Science at Concordia University in Montreal Canada in 2002.