访问量：
开通时间：--
最后更新时间：--
甘庭，武汉大学 计算机学院 软件工程系，特聘副研究员。研究方向包括：形式化验证、约束求解、多项式优化、统计推理等。在CAV、FM、WWW、IJCAI、AAAI、KDD、Sci. China Inf. Sci.、IEEE Trans. Autom. Control、J. Symb. Comput.、IJCAR、HSCC、Knowl. Inf. Syst.、软件学报、中国科学：数学等国内外著名学术期刊和会议上发表20余篇。主持国家自然科学基金面上、青年项目、CCF-华为胡杨林基金项目。获2023年华为火花奖。现担任CCF形式化方法专委执行委员。招收硕士研究生，欢迎来自计算机、数学相关专业的同学加入...
