My research is mainly focused on the security and quality assurance of both traditional software and intelligent software with learning-based components, which covers but is not limited to software testing, program analysis, vulnerability detection, and runtime verification. Currently, I am quite interested in the DevOps of AI software systems, which aims to regulate the development and assessment process of AI-assisted solutions, support their post-deployment operation and guarantee trustworthy and sustainable AI services. Please check my publication list for more details.