搜索结果: 91-105 共查到“知识要闻 软件工程”相关记录169条 . 查询时间(2.292 秒)
近日，欧洲科学院（Academia Europaea）发布2019年度新增院士名单，上海交通大学1991届校友胡振江当选欧洲科学院外籍院士。胡振江，上海交通大学计算机科学与工程系1988届本科毕业，1991届硕士毕业，1996年在日本东京大学信息工学专业获博士学位。胡振江现任北京大学计算机系主任、教授，曾任东京大学情报理工学研究科助理教授和副教授，日本国立信息学研究所教授、系主任，东京大学情报理工...
2019年6月26日，软科正式发布2019“世界一流学科排名”，国内233所高校的2001个学科进入榜单。我校共有17个学科排名世界前500，数量居国内高校第34位。软科世界一流学科排名依据论文总数（PUB）、论文标准化影响力（CNCI）、国际合作论文比例（IC）、顶尖期刊论文数（TOP）和教师获权威奖项数（AWARD）共五项指标，对涉及理学、工学、生命科学、医学和社会科学五大领域的54个学科进行...
中国科学院软件研究所量子软件团队推出国际首个量子程序证明工具
中国科学院软件研究所 量子软件 量子程序 证明工具
2019/3/31
为了保证程序的正确性及应用系统的安全性，程序测试、分析与验证在经典计算机科学占有重要的地位。量子世界与经典世界有着本质的不同， 人类的直觉在处理量子世界中的问题时，往往容易做出错误的判断。因而，量子程序设计更加容易出错。近日，软件所量子软件团队詹博华博士及博士生刘君毅等推出国际首个量子程序证明工具QHLProver。QHLProver是基于开源定理证明器Isabelle / HOL的量子算法正确性...
近日，国际权威学术期刊《IEEE Transactions on Pattern Analysis and Machine Intelligence》（TPAMI）在线刊出了我校软件学院苏劲松课题组发表的题为“Neural Machine Translation with Deep Attention”的最新研究成果。TPAMI是人工智能领域最顶尖的国际期刊之一，JCR一区期刊，影响因子9.455...
第十七届全国软件与应用学术会议（NASAC 2018）于2018年11月23日至25日在深圳大学召开。在大会举办的首届“违反编码规范的缺陷检测”命题型软件原型系统竞赛现场决赛中，我校计算机科学与技术学院张昱副教授指导的、由该院一年级硕士研究生张宇翔（队长）和三年级本科生邓胜亮组成的参赛队伍，在进入决赛的5支队伍中脱颖而出，夺得亚军。该项赛事要求参赛人员熟悉程序语言的编译原理和技术，了解程序分析技术...
华东师范大学计算机科学与软件工程学院荣获全球嵌入式系统与软件顶级会议群ESWEEK 2020举办权（图）
华东师范大学 计算机科学 软件工程 全球嵌入式系统与软件 顶级会议群 ESWEEK 2020 举办权
2018/10/16
我校计算机科学与软件工程学院沙行勉教授领导的中国上海申报团队荣获ESWEEK 2020的举办权。这将是全球嵌入式系统与软件领域的顶级会议群ESWEEK多年来首次在中国举办。在意大利举行的ESWEEK 2018中，经过激烈答辩及投票表决后，会议决定ESWEEK 2020将于2020年10月在上海举办。ESWEEK 2019将在美国纽约举办。
2018年9月22日，欧洲科学院（Academia Europaea）正式公布了2018年度新增院士和外籍院士名单，上海交大1992届博士校友梅宏当选欧洲科学院外籍院士。梅宏，上海交通大学1992届计算机科学与工程系博士毕业，上海交通大学原副校长。现任中国科学院院士，发展中国家科学院院士，欧洲科学院外籍院士，电气和电子工程师学会会士（IEEE Fellow），北京理工大学党委常委、副校长。梅宏主要...
日前，我校87届校友中国科学院院士梅宏教授当选为欧洲科学院外籍院士。梅宏主要从事软件工程和系统软件领域的研究，在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。发表学术论文150余篇，获国家技术发明专利授权30余项，承担了数十项国家级科研项目。科研成果曾获国家自然科学二等奖、国家技术发明二等奖、国家科技进步二等奖等。2015年获电气和电子工程师学会计算机分会技术成就奖（IEEE Com...
日前，欧洲科学院宣布中国科学院院士、北京理工大学教授梅宏当选为欧洲科学院外籍院士。梅宏主要从事软件工程和系统软件领域的研究，在构件化软件中间件、开发方法学和工具环境等方面取得了系列成果。发表学术论文150余篇，获国家技术发明专利授权30余项，承担了数十项国家级科研项目。科研成果曾获国家自然科学二等奖、国家技术发明二等奖、国家科技进步二等奖等。2015年获电气和电子工程师学会计算机分会技术成就奖（I...
2018年9月18日，欧洲科学院（Academia Europaea，又称The Academy of Europe）公布了2018年度增选院士302人名单。北京理工大学副校长、北京大学高可信软件技术教育部重点实验室主任梅宏教授当选外籍院士。由英国皇家学会等代表欧洲最高学术水平的国立科学组织共同发起的欧洲科学院成立于1988年，总部位于英国伦敦。欧洲科学院分为20个学部，学科领域涵盖自然科学、人文...
大连理工大学成果喜获国际软件工程大会杰出论文奖（图）
大连理工大学 成果 国际软件工程大会 杰出论文奖
2018/6/13
近日，我校软件学院任志磊副教授作为第一作者、江贺教授作为通讯作者的软件可重复编译研究成果喜获第40届国际软件工程大会（ICSE）杰出论文奖（ACM SIGSOFT Distinguished Paper Award）。作为国际久负盛名的顶级会议（CCF A类会议），本届软件工程大会共吸引了来自全球的1700多名参会者，在投稿的500余篇研究论文中，共有8篇论文被遴选为杰出论文。2018年适逢软件工...
2018年5月16日，核心电子器件、高端通用芯片及基础软件产品国家科技重大专项课题“基于安全可靠基础软硬件的实时业务类应用研究与示范工程”顺利通过验收。该课题由北京市交通信息中心牵头，联合东华软件股份公司、东方正通（北京）国际减灾与应急管理技术研究院共同承担。
北京大学信息科学技术学院刘譞哲副教授课题组论文入选《电气电子工程师学会软件工程汇刊》亮点文章
北京大学信息科学技术学院 刘譞哲 副教授 课题组 论文入选 电气电子工程师学会软件工程汇刊 亮点文章
2018/5/2
近日，北京大学信息科学技术学院、高可信软件技术教育部重点实验室刘譞哲副教授课题组关于移动互联网软件的用户情境分析和理解的长文《基于大规模应用商店服务日志数据的移动软件使用模式挖掘研究》（Understanding diverse usage patterns from large-scale appstore-service profiles）被软件工程领域顶级学术期刊《电气电子工程师学会软件工程...
近日，教育部办公厅公布首批“新工科”研究与实践项目，经通讯评议、专家组评议及公示，最终确定612个项目为首批“新工科”研究与实践项目。我校数学与信息科学学院孟宪礼教授主持的“大数据时代背景下软件工程专业改造升级的研究与实践”获批立项。