我们关注现代软件系统及人工智能驱动系统所面临的安全漏洞与可靠性挑战。这包括分析和缓解针对机器学习模型（尤其是在强化学习场景下）的对抗性攻击，研究图数据等结构中的潜在弱点。此外，我们开发模糊测试、自动化验证等技术，以主动识别和解决多线程程序、缓冲区管理等不同系统中的潜在安全隐患与可靠性问题。