My research centers on Quality and Security assurance for Cyber-Physical Systems and Intelligent Systems. I study how to improve the trustworthiness of complex systems that involve interconnected networks, autonomous decision-making, and intelligent collaborative devices. My technical interests include taint analysis, fuzzing, emulation/simulation, formal verification, and AI-assisted software testing and verification, with applications to both conventional software/firmware and emerging AI/agentic systems.
If my research aligns with your interests, please don’t hesitate to reach out to me via email. I would be delighted to explore potential collaboration opportunities.
Recruiting research interns: LLM/Agent for Software Engineering/Programming Languages/System Security and Safety for LLM/Agent.
Discovered more than 1,000+ quality issues and security vulnerabilities across devices from major vendors, including Cisco, Siemens, D-Link, NETGEAR, Tenda, and Motorola, and actively assisted the vendors in developing and implementing fixes. These security research contributions have resulted in over 300+ acknowledgments and vulnerability identifiers from vendors and organizations, including CVE, CNVD, and PSV. Notable findings include: