学科基地

教育部可信软件国际合作联合实验室

      可信软件国际合作联合实验室是由华东师范大学、法国高师集团、荷兰莱顿大学、荷兰国家数学与计算机中心、法国里昂LIP实验室、法国雷恩IRISA实验室共同组建。旨在联合国际优质资源,汇聚国际一流人才,围绕国家信息化发展的战略目标,紧密结合国家战略性新兴产业发展规划,聚焦国家和社会信息化建设中的重大理论与技术问题,策划与承担可信软件国际前沿和重大需求的重大项目与重大工程,建设面向国家自主可控软件重大需求的战略基地和具有国际影响力的信息科学学科高地;提升计算机和软件工程学科水平,成为高端创新软件人才的孵化器、可信软件高水平科研成果的原创地、具有国际视野和杰出创新能力青年科学家的培养地,形成具有国际影响力的信息科学学科高地以及具有国际视野的可信软件领军团队;整合国际科技资源,探索机制体制深化改革,逐步建成具有国际重大影响力的面向行业产业的人才培养、学科建设、学研产三位一体的国际合作联合实验室。目前主要研究方向包括可信软件理论,可信嵌入式,数据可信处理和信息安全4大领域。联合实验室自培育组建以来,积极同外方合作单位开展国际联合研究工作,共同承担重大研究项目,联合举办学术研讨会和暑期学校,通过互派研究人员定期交流访问,选拔优秀学生到外方合作单位学习,在科研上取得了一系列突破性研究成果,形成了良好的合作基础,签署了正式的合作协议。同时,联合实验室围绕各项任务有效地开展了高端人才的引进工作,吸引了一批国内外优秀的专家学者共同参与实验室建设,形成了四支国际一流的研究队伍。

 

教育部/国家外专局可信信息物理融合系统引智基地

       随着信息技术的深入发展,可信智能信息控制系统已经被学术界和工业界认为是需要重点研究的领域,是信息技术的前沿,代表了信息世界和物理世界进一步融合发展的趋势,甚至被认为如同互联网改变人们交互方式那样改变人们与物理世界的交互方式。信息物理融合系统(CPS)是一个在环境感知的基础上,深度融合了计算、通信和控制能力的可控、可信、可扩展的网络化物理设备系统,它通过计算进程和物理进程相互影响的反馈循环实现深度融合和实时交互。为了引进海外教授参与合作研究和学术交流,共同致力于可信信息物理融合系统的理论与应用研究,并培养该领域的高端人才,可信信息物理融合系统创新引智基地应运而生。

       创新引智基地建立以来,积极联合国际优质资源,汇聚国际一流人才,围绕信息物理融合系统基本模型,时间驱动的信息物理融合系统语言的设计,信息物理融合系统的验证技术展开研究。聚焦国家和社会信息化建设中的重大理论与技术问题,策划与承担可信软件国际前沿和重大需求的重大项目与重大工程,目前已经开展一系列人才培养、学术交流和合作研究活动,积极搭建国际交流平台,加大地区行业的辐射作用,取得了显著的成效。此外,学科创新引智计划的实施,为华师大与国外专家的深度合作创建了机会,取得了显著的合作成效,特别是在人才培养方面,通过暑期学校、学术交流、研究生课程讲授,在教学内容、教学方法等方面提升青年教师的水平,也为研究生进一步的学术研究打下了扎实的理论基础,提高了人才培养质量。

 

软硬件协同设计技术与应用教育部工程研究中心

      教育部软硬件协同设计技术与应用工程研究中心于2007年10月获教育部批准,2012年11月通过验收。中国工程院卢锡城院士出任第一届技术委员会主任, 中国科学院何积丰院士担任第二届技术委员会主任。“中心”以华东师范大学为依托,联合上海嵌入式系统研究所,以及各相关企业和机构为伙伴,构建以应用导向的创新平台。

       “中心”明确以软硬件协同设计技术的研发以及在相关领域应用为目标,从事系统级软硬件协同设计技术与应用,研发涉及物联网以及云计算等信息领域现代研发高地, 除了在高可信芯片设计、软硬件集成后的形式化验证等领域取得了系统研究成果外, 还在智能传感器网络、车载信息采集OBD技术与产品、数字医疗、智慧校园、以及云媒体互动平台等方面取得了具有知识产权可以进行成果转化的研发成果。

 

国家可信嵌入式软件工程技术研究中心

      国家可信嵌入式软件工程技术研究中心于2013年经国家科技部批准建立,由中国电子科技集团第三十二研究所、华东师范大学共同组建,是国内以可信和嵌入式为关键技术的国家级工程研究中心。该中心以中电科32所“锐华”(Reworks)嵌入式操作系统产品和华东师范大学可信计算技术为基础,形成可信嵌入式软件行业规范与标准体系,实施面向可信嵌入式系统的形式化建模分析技术、系统设计与可信集成环境技术、可信度量体系与分析技术、仿真测试与验证评估技术等共性技术研究和平台开发,为嵌入式系统提供可信软件工程技术支撑,提高重大装备自主可控率,推动高端装备行业全面发展。研究成果成功应用于轨道交通、汽车电子、核电控制、工业自动化、航空航天、军事电子装备等安全攸关领域。

 

国家可信软件国际联合研究中心 
       可信软件国际联合研究中心2015年11月经科技部评审认定,这是继教育部可信软件国际合作联合实验室之后,我院可信软件领域获批的第二个省部级以上的国际交流合作基地。可信软件国际联合研究中心是由华东师范大学、法国高师集团、荷兰莱顿大学、荷兰国家数学与计算机中心、法国里昂LIP实验室、法国雷恩IRISA实验室等国际知名高校和研究所共同组建。旨在联合国际优质资源,汇聚国际一流人才,可信软件国际联合研究中心的成立将为我院建设面向国际科技前沿、具有高水平科研开发与合作提供更好的研究平台和更多的发展机遇。我们也将充分发挥我院可信软件理论与应用的研究优势,紧密协同国际国内合作单位,加强与其他国际合作基地的横向联系,优势互补,不断提高国际科技合作水平和学科创新实力。

 

上海市可信物联网软件协同创新中心

       上海市教委批准筹建的上海高校知识服务平台“华东师范大学可信物联网产学研联合研发中心”,围绕国家科技战略与产业振兴在物联网领域的规划,结合上海市高新技术产业对物联网基础设施建设的需求,实施面向安全关键系统的物联网软件可信设计、产品实现与工程服务,成立产业联盟,聚焦智能交通、航空航天、汽车电子、高端装备制造以及金融等重点领域,掌握一批核心关键技术及相关知识产权,推动产业组织模式创新,加强国际合作,充分利用全球创新资源,构建产学研用一体化平台,以提升国家物联网系统自主创新和差异化竞争能力,促进上海、长三角及国家的技术成果共享与转化,为经济结构调整和产业升级提供知识服务。

 

上海市高可信计算重点实验室

      2007年12月获准筹建上海市高可信计算重点实验室,建立了成熟的研究队伍(拥有中国科学院院士1人、国家杰青2人、国家自然科学二等奖获得者2人、上海市青年科技启明星3人、上海曙光学者2人、教授18人、博士生导师15人),承担了国家973项目6项、863项目6项(其中军口项目2项)、国家自然基金项目21项,上海市科委研究项目12项,部委项目4项。上海市高可信计算重点实验室在2009年7月顺利通过验收会,实验室在高可信计算理论、可信软件构造平台、可信计算应用等三个研究方向上取得了显著成绩,凝聚了高水平人才,发表了一批高质量的学术论文,获得了多项重点科研项目,共主办了八次国际学术会议,学术交流活跃,并按照实验室“开放、流动、联合、竞争”的运行机制,积极开展航天、海洋、金融等领域相关的可信计算应用研究

 

国家软件人才国际培训基地(上海)

       “国家软件人才国际培训(上海)基地”由中国国际人才交流基金会与华东师范大学共同建设,2002年6月14日经国家外国专家局批准建设。该基地依托华东师范大学软件学院积极开展高水平、国际化的软件人才培训工作,力争将基地建设成为一个技术领先、特色鲜明的软件人才国际培训基地。基地在国家外国专家局的指导下,通过聘请高水平的国内外计算机、软件行业专家对国内外企业、高等院校的学生进行技术培训,先后连续十一年举办国际暑期学校,使更多的研究生和企业研发人员掌握国际通行的主流软件工程方法,培养一批高端软件人才,使我国的软件开发业与国际接轨,为发展我国的软件产业服务。

华东师范大学计算机科学与软件工程学院
www.sei.ecnu.edu.cn Copyright School of Computer Science and Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼| 招聘信息