删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

深圳大学计算机与软件学院导师教师师资介绍简介-许智武

本站小编 Free考研考试/2021-05-31

许智武 副教授 工学博士
软件工程系
大数据技术与应用研究所
xuzhiwu@szu.edu.cn
计软大楼B724




许智武,博士,毕业于巴黎第七大学和中国科学院大学(联合培养),副教授,硕士生导师,深圳市海外高层次人才(孔雀计划C类),主要从事程序分析与验证、程序语言理论、形式化方法、机器学习等方面的研究工作,2014年获得EAPLS(欧洲程序语言与系统协会)最佳博士论文奖(整个欧洲每年仅一篇),主持国家自然科学基金面上项目1项、青年基金1项,广东省自然科学基金面上项目1项,已在国际顶级会议POPL、ICFP、FM、ICSE、ASE、ICDE、AAAI等发表多篇论文。更多信息...


last updated:2021/03/04


相关话题/深圳 软件学院