讲师介绍

金芝
北京大学教授
高可信软件技术教育部重点实验室常务副主任,国家杰出青年科学基金获得者,中国计算机学会会士。兼任国务院学位委员会学科评议组成员(软件工程),中国计算机学会常务理事,
中国计算机学会系统软件专业委员会主任,中国人工智能学会知识工程与分布智能专委会副主任。长期从事软件工程和知识工程的研究,先后担任973项目首席科学家,国家重点研发计
划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF杰出成就(夏培肃)奖、IEEE TCSVC 杰出领
导力奖、中创软件人才奖等。发表论文两百余篇,4次获得 ACM Distinguished Paper Awards,出版专著3部。任《软件学报》执行主编,《计算机学报》副主编,JCST领域编委,
以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。
报告摘要:
软件定义在构建硬件资源数字化,并通过软件编程去实现虚拟化、灵活、多样和定制化的功能,对外提供客户化的专用智能化、可定制服务,实现应用软件与硬件的深度融合。本报告
首先介绍软件定义的基本思想,然后介绍一种面向问题领域的系统建模方法,从软件控制的思想出发,提出软件问题领域(硬件)的虚拟化、和应用驱动的资源管理协调生成,构建软
件控制的能力需求,为软件定义一切奠定基础。
讲座时间:
2022年8月8日 13;30
地点:湖州市西塞山路819号南太湖科技创新综合体B1幢3楼路演厅
主持人:许超

By ccxu

发表评论

邮箱地址不会被公开。 必填项已用*标注