Advised students on their Ph.D. dissertations, such as Qiping's 'Enhancing Symbolic Execution for Solidity Smart Contracts' and Sunny's 'Leveraging Software Testing Techniques to Explain, Analyze, and Debug Machine Learning Models'.
Research Experience
Leads the AI and Software Engineering Research Group, with team members including several Ph.D. and M.S. students. Research areas include AI/ML interpretability, AI/ML security and privacy, testing and debugging ML models, blockchain and IoT security, and software testing.
Background
Research interests include: developing trustworthy AI and software systems, the intersection of Artificial Intelligence (AI) and Software Engineering (SE). Focuses on leveraging AI techniques to improve the analysis, testing, and debugging of software systems, and applying SE methods to ensure the trustworthiness of AI models and software.
Miscellany
Lab address: Engineering Research Building (ERB), Room 513, Department of Computer Science and Engineering, The University of Texas at Arlington, Box 19015, Arlington, Texas 76019-0015