关于岱名

公司介绍 核心团队 新闻动态 企业资质 加入我们

岱名科技董事长李大维教授受邀主讲《VSI与形式化方法》

2023/05/10 00:00

       5月10日,北大信研院五周年院庆系列活动·学术篇首讲暨「AIIT公开课」第十一讲顺利开讲。本次讲座邀请北大信研院智能软件研究中心首席科学家顾问、岱名科技董事长李大维教授主讲。以《VSI与形式化方法》为主题,李大维教授深入浅出地向听众们讲授了VSI技术方法的发展沿革及当前应用趋势。

微信图片_20230523165053.jpg


来源:北京信息技术高等研究院微信公众号

关注我们

邮箱

business@daiming-tech.com

 

通讯地址

浙江省杭州市萧山区盈丰街道永晖路233号杭州湾智慧谷大厦1801室 ,周一至周五:9:00-12:00,13:30-18:00(节假日除外)

版权所有 杭州岱名科技有限公司 浙ICP备2021037675号-1 DESIGN BY : WEETOP

浙公网安备 33010902003339号

申请试用

提交您的需求,我们会尽快与您联系

  • 姓名 *

  • 手机号 *

  • 邮箱 *

  • 单位名称 *

  • 单位所在地 *

  • 请选择试用产品 *

  • 需求描述 *

  •  

  •  

    我已确认以上信息的填写真实有效,提交此表单,即表示我已确认已阅读和理解“ 用户隐私条款”。