导师个人主页 - Teacher Site

个人主页访问地址:http://dsxxcx.zstu.edu.cn/master/867

简介

林望，计算机科学与技术学院（人工智能学院）特聘教授、硕士生导师，中国计算机学会形式化方法专委会委员，中国数学会计算机数学专业委员会委员。主要研究方向为软件形式化方法、可信人工智能、可信智能系统等。近年来主持国家自然科学基金项目2项、省自然科学基金项目3项，参与国家高性能计算重大专项课题、973 计划课题、国家自然科学基金重点项目等多项，在ACM TECS、IEEE TCAD等权威期刊和CAV、FM、CVPR、EMSOFT 等顶级会议上发表论文30余篇。