担任CCF形式化方法专委会执行委员，CCF会员等，主要研究计算机系统编译优化，量子系统与复杂软件的安全性、可靠性验证，程序测试等方向；主持国家自然科学基金青年基金、重庆市自然科学基金面上项目、重庆市教委青年项目，参与1项重庆市自然科学基金面上项目；发表CCF B类及以上论文6篇，其中包含期刊 TOSEM、TCS、JCST、ACTA Informatica，会议论文HSCC2024，申请发明专利1项；获得全国理论计算机学会年会优秀论文；招收计算机科学与技术专业学硕、专硕