I am interested in designing reliable and trustworthy methods to enhance safety, security, and privacy in software and AI  systems. I am also interested in their theoretical limitations. For example, by Rice's theorem, checking nontrivial functional properties in a program is undecidable. Which formal tool or mathematical method is the best to use given a problem? When should other complimentary methods such as testing or machine learning be used?

I am looking for a new job opportunity. You can find my detailed working experience on Linkedin, or take a look at my research experience on my Google Scholar page.
我专长软件工程与验证，形式化方法，和计算机安全：专注利用形式化和机器学习方法研究设计高可信可靠方案，为真实的软件和人工智能系统护航。如果贵公司、贵学校有相应岗位，请与我联系，谢谢！

Contact: