Enhancing the reliability and security of software—particularly binaries and device firmware—through static analysis and dynamic testing. My work focuses on vulnerability analysis of devices in contexts such as the Internet of Things, Industrial Internet, and Embodied Intelligence (e.g., routers, cameras, programmable logic controllers, drones, and robots). I am also actively exploring AI-augmented program analysis and testing methods.