打开微信，扫一扫登录
姓名：林望
单位：浙江理工大学
部门：计算机科学与技术学院
状态：未认证
林望，计算机科学与技术学院（人工智能学院）特聘教授、博士生导师，中国计算机学会形式化方法专委会委员，中国数学会计算机数学专业委员会委员。主要研究方向为软件形式化方法、可信人工智能、可信智能系统等。近年来主持国家自然科学基金青年/面上项目，省自然科学基金青年/探索/重大项目，参与国家高性能计算重大专项课题、973 计划课题、国家自然科学基金重点项目等多项，在ACM TECS、IEEE TCAD等权威期刊和CAV、FM、CVPR、EMSOFT 等顶级...
微信扫码登录，查看完整内容
