报告主题:国内外计算机的发展与“卡脖子”技术
报告人:刘静 教授
主持人:张博锋 研究员 钱伟长学院副院长
报告时间:11月5日周四18:00
报告地点:cj207
报告摘要:计算机技术发展经历了电子管—晶体管—中小规模集成电路—大规模及超大规模集成电路四个阶段,正在步入智能化阶段。我国计算机技术在超算等方面取得了令人瞩目的成绩,但目前在芯片技术、基础软件、高端核心软件等方面任然受制于人,期待大家协同攻关,克服困难,从基础知识、基本技能的提升做起,迎难而上,为我国实现核心技术自主化做出贡献。
报告人简介:刘静,华东师范大学软件工程学院教授、博士生导师,法国爱斯特尔公司(Esterel Ltd.)- 华东师范大学“模型驱动式轨交软件研发联合实验室”主任。获教育部“自然科学一等奖”(基于模型的可信软件理论与开发方法)。主要研究模型驱动式安全攸关系统构造理论及技术,包括高可信系统构造方法、软件建模语言、模型转换、模型精化与模型验证。先后主持了国家自然科学基金重大研究计划项目、国家863 项目、国家重点研发计划课题等。