Yi Mao

Yi Mao holds a Ph.D. in Logic (2003) and a Master’s degree in Computer Science (2000) from the University of Texas at Austin.  She obtained a MA (1994) and BA (1991) in Philosophy from Peking University in P.R. China. She was a researcher at Chinese Academy of Social Sciences from 1991-1996.  Dr. Mao currently works as a principal consultant with atsec information security corporation.  She previously worked with Axalto, Inc. as a researcher in the area of formal methods and information security.  She has published a dozen technical papers in peer-reviewed journals and given talks at many international conferences.