|
个人信息Personal Information
职称：特聘教授（人才）
博士生导师
学科：计算机应用技术
学位：博士
所在单位：计算机与通信工程学院
电子邮箱：
联系方式：18911132683
研究方向
当前位置:
中文主页
>> 研究方向
AI for Science
聚焦AI for Math中的Autoformalization & Theorem Proving, AI-Driven Enzyme Engineering, AI for Accelerated Materials Discovery，打造干湿闭环自动化实验室 (A-Lab).