My research focuses on AI safety, formal methods, and software engineering. I am particularly interested in designing algorithms to tackle real-world challenges, while still appreciating theoretical studies in certain areas. For more details, please refer to my publications. I welcome collaborations from both academia and industry.