朱惠彪:2011年宝钢优秀教师奖,宝钢教育基金会(201111月);

 

基于模型的可信软件理论与开发方法:2011教育部高等学校科学研究成果奖(自然科学)一等奖,完成人:何积丰,朱惠彪、刘静、陈仪香、曾振柄、蒲戈光,教育部(20122月);

 

何积丰:2012年上海市教书育人楷模称号,中共上海市教育卫生工作委员会、上海市教委(20129月);

 

IPTV云媒体互动(CMIT)系统:第十四届中国国际博览会优秀展品成果奖三等奖,完成人:王江涛等,中国国际工业博览会中国高校赛区组委会、教育部科技发展中心(201211月);

 

数据密集型计算技术及其在互联网在线广告中的应用:2012教育部高等学校科学研究成果奖(自然科学)科学技术进步奖二等奖,完成人:周傲英、宫学庆、王晓玲、钱卫宁、周敏奇等,教育部(20131月);

 

何积丰:第三届上海市教育功臣称号,上海市人民政府(20139月);

 

何积丰:2013年何梁何利基金科学与技术进步奖,何梁何利基金评选委员会(201310月);

 

何积丰:2013年上海市科技功臣称号(201312月);

 

复杂非线性演化系统的符号计算理论与方法:2013年上海市自然科学奖三等奖,完成人:陈勇,闫振亚,李彪,上海市人民政府(201312月);

 

郁文生:第三届杨嘉墀科技奖二等奖,中国自动化学会、中国宇航学会(201312月);

 

高端软件人才的协同创新培养模式:2013年高等教育上海市教学成果奖特等奖,完成人:何积丰、朱惠彪、姜宁康、王长波、琚小明、赵慧、朱捷、曹桂涛、张丽、杜育根,上海市教育委员会(20141月);

 

A MarketOriented Hierarchical Scheduling Strategy in Cloud Workflow System:安徽省第七届自然科学优秀学术论文二等奖,完成人:刘晓、伍章俊、倪志伟,安徽省科学技术协会、安徽省科学技术厅、安徽省人力资源和社会保障厅(20144月);

 

何积丰:2014年全国五一劳动奖章,中华全国总工会(20144月);

 

何积丰:全国优秀科技工作者,中国科学技术协会(201412月);

 

数字图像处理原理与实现方法:上海普通高校优秀教材奖,第一完成人:全红艳,上海市教育委员会(20155月);

 

基于多源信息融合的邮件分拣关键技术及应用:上海市科技进步一等奖,完成人:吕岳,吕淑静,文颖,兰曼等,上海市人民政府(201511月)

 

基于新型公钥密码体制的网络空间认证与安全通信研究:上海市自然科学奖三等奖,完成人:何道敬、卜佳俊、张磊、李祥学,上海市人民政府(201511月)

 

用户行为分析与个性化信息推送核心技术与应用系统:上海市科技进步奖二等,完成人:贺樑、钱彬、宋树彬、王铮、马天龙、王剑、安晓光、杨静、闵婕、龚俊,云顶yd2223线路检测、北京品友互动信息技术有限公司(201510月);

 

Jean-Raymond Abrial:上海市国际科学技术合作奖,上海市人民政府(201511月);

 

The Infinite Evolution Mechanism of ε-bisimilarity:第八届安徽省自然科学论文二等奖,完成人:马艳芳、张敏(20161月);

 

何积丰:全国优秀共产党员(20167月);

 

Elastic pipeline in an in-memory database cluster:最佳论文奖,完成人:周敏奇,上海计算机协会(201611月)

 

面向CPS的建模与验证平台:软件工具奖优秀奖,完成人:姜凯强、黄平、昝慧、杜德慧,中国计算机协会软件工程专委(201611月)

 

密码算法若干关键问题研究:全国党政密码科学技术进步奖二等奖,完成人:王高丽、周俊、董晓蕾、曹珍富、张磊、曾鹏、沈佳辰、申延召,国家密码管理局(201612月);

 

无线网络可信认证理论与方法:教育部高等学校科学研究优秀成果奖自然科学奖二等奖,完成人:何道敬,刘虹,宁焕生,教育部(201612月);

 

Jean-Raymond Abrial:中华人民共和国国际科学技术合作奖,中华人民共和国国务院(201612月);

 

一种基于音节的指间触碰式输入系统:首届中国高校科技成果交易会优秀展示奖,完成人:陈闻杰、马杨炀、任中岳,教育部科技发展中心(20176月);

 

STOAT:基于随机模型的安卓应用自动测试工具:第十六届全国软件与应用学术会议原型竞赛(自由型)一等奖,完成人:苏亭、孟国柱、陈雨亭、蒲戈光、刘杨、苏振东,中国计算机学会软件工程专委会、中国计算机学会系统软件专委会(201711月);

 

modana2.0:面向CPS系统的建模与验证平台:第十六届全国软件研究成果原型竞赛优秀奖,完成人:杜德慧等,中国计算机学会(201711月);

 

强防护环境下XX关键技术及应用:教育部技术发明奖一等奖,第一完成人:何道敬,教育部(201712月);

 

高效安全跨网数据交换关键技术研究与应用:上海市技术发明奖二等奖,第一完成人:何道敬,上海市政府(20183月)

 

2018年密码创新奖二等奖,完成人:陈洁,中国密码学会(201810月)

 

2018-2019中国密码学会优秀青年奖,完成人:陈洁,中国密码学会(201911月)

 

云安全的关键理论与方法研究:教育部自然科学一等奖,完成人:曹珍富、董晓蕾等,教育部(20191月)

 

面向重大工业装备核心控制软件的安全可信保障技术及应用:上海市科技进步特等奖,完成人:何积丰、蒲戈光、陈铭松、繆炜恺、郭建、史建琦等(20204月)

 

航天嵌入式软件可信性保障关键技术和应用:北京市科技进步一等奖,完成人:蒲戈光、陈仪香等(20208月)

 

NASAC青年软件创新奖,完成人:陈铭松(202011月)

 

第十届上海青年科技英才,完成人:何道敬(2020年)

 


云顶集团官网登录入口 - 云顶yd2223线路检测
学院地址:上海中山北路3663号理科大楼
院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright Software Engineering Institute