任职情况:南京大学党委书记
任职时间:2022-
中国科学院院士
学 部:信息技术科学部
当选时间:2013
学术方向:模式识别与计算机视觉
南京大学软件学院教授
研究方向:程序安全、形式化方法、NLP
科研项目
主持/参加多项国家自然科学基金、863、973项目,以及SCADA、数字电路检测等产业化系统的研发
目前从事NLP相关研究工作