Current Team Members

Ph.D. Students

• Yu-Jye Tung
• Giyeol Kim
• Hangfan Zhang (expected to graduate in 2025)
• Zihao Wang (ABD, on leave)
• Neeraj Karamchandani (ABD, on leave)

Former Team Members

• Chu Huang, M.S. (2011). Towards Trusted Computational Services: Result Verification Schemes for MapReduce. Co-advised with Sencun Zhu.
• Yabo Liu, Visiting Scholar from Jilin University, 2011-12.
• Meng Ma, Visiting Student from Peking University, 2013-14.
• Nan Yu, M.S. (2014). Information Interoperability Between Building Information Modeling Authoring Tools and Simulation Tools to Support Energy Efficient Building Design. Software Engineer, IBM Watson Group.
• Brett Holden, B.S. (2015). Schreyer Honors Scholar. Honors Thesis: Eliza for Access Control Lists. Continued graduate study at Virginia Commonwealth University.
• Can Zhang, M.S. (2016). A Model Checking Approach to Countering the Dynamics of Infection Propagation Over Network. Software Engineer, Amazon.
• Xiao Liu, M.S. (2016). Programming in Eliza. Continued graduate study at Penn State University.
• Jiang Ming, Ph.D. (2016). Pipelined Symbolic Taint Analysis. Assistant Professor, Tulane University.
• Pengwei Lan, M.S. (2017). Lambda Obfuscation. Software Engineer, Pieces Technologies.
• Yan Wang, M.S. (2017). Obfuscation with Turing Machine. Software Engineer, Bloomberg.
• Yufei Jiang, Ph.D. (2017). Program Analysis Based Bloatware Mitigation and Software Customization. Software Engineer, Microsoft.
• Lawrence Wu, B.S. and M.S. (2018). Blockchain Smart Contracts in Megacity Logistics. Communications Analyst, Federal Reserve Board.
• Pei Wang, Ph.D. (2018). Advanced Software Obfuscation Techniques and Applications. Senior Security Researcher, Baidu XLab.
• Dongpeng Xu, Ph.D. (2018). Opaque Predicate: Attack and Defense in Obfuscated Binary Code. Assistant Professor, University of New Hampshire.
• Shuai Wang, Ph.D. (2018). Advanced Reverse Engineering Techniques for Binary Code Security Retrofitting and Analysis. Assistant Professor, Hong Kong University of Science and Technology (HKUST).
• Huasong Shan, Postdoctoral Scholars, 2018.
• Francisco Rocha, Postdoctoral Scholars, 2018.
• Yuyan Bao, Postdoctoral Scholars, 2018-19.
• Xiangkun Jia, Postdoctoral Scholars, 2018-19. Associate Professor, Institute of Software, Chinese Academy of Sciences.
• Songtao Liu, undergraduate intern from Fudan University, summer 2019.
• Xiao Liu, Ph.D. (2019). Neural Program Synthesis for Compiler Fuzzing. Research Scientist, Facebook.
• Zhenzhou Tian, Visting Scholar from Xi'an University of Posts and Telecommunications, 2019-20.
• Yu Fu, M.S., 2020. Software Engineer, Facebook.
• Qinkun Bao, Ph.D. (2021). Precise and Scalable Side-Channel Analysis. Senior Security Researcher, Baidu XLab.
• Ajay Kumara, Postdoctoral Scholars, 2019-21. Assistant Professor at Lenoir-Rhyne University.
• Lingwei Chen, Postdoctoral Scholars, 2019-21. Assistant Professor at Wright State University.
• Xiaoting Li, Ph.D. (2022). The Good, the Bad and the Ugly: Exploring the Robustness and Applicability of Adversarial Machine Learning. Staff Research Scientist, Visa Research.
• Vishweshwar Ramanakumar, NSF REU student intern, summer 2021.
• Amer Tahat, Assistant Research Professor, 2021-22. Senior Formal Verification Research Engineer, Trustworthy Systems Group, Collin Aerospace, Raytheon Technology,
• Fangtian Zhong, Postdoctoral Scholar, 2021-22. Postdoctoral Research Associate, University of Notre Dame.
• Rui Zhong, Ph.D. (2023). Advanced Fuzzing Methods for Software Security. Senior Security Researcher, Palo Alto Networks.
• Rupesh Prajapati, Ph.D. (2024). Leveraging Large Darknets for Actionable Threat Intelligence: An Artificial Intelligence-Driven Approach. AI/ML Engineer. HomeServe USA.
• Jinquan Zhang, Ph.D. (2025). Reverse and Anti-Reverse Engineering of Deep Neural Network Programs. Senior Staff Security Researcher, Palo Alto Networks.
• Tianrou Xia, Ph.D. (2025). Exploiting Language and Semantics Specific Features for Program Analysis. Postdoctoral Scholar, Georgia Institute of Technology.
• Shixiong Jing, Ph.D. (2025).