!!Research output per year
!!Research output per year
组织简介
组织简介
华东师范大学软件工程学院成立于2002年1月（原名软件学院）,是国家首批35所示范性软件学院之一，也是当时全国师范院校中唯一获准成立的示范性软件学院，首任院长为中国科学院院士何积丰教授。2021年，学院入选教育部、工信部“首批特色化示范性软件学院“。
学院依托的软件工程学科是华东师范大学重点建设学科之一，是国家“十一五”211重点建设学科。软件工程学科作为学校双一流重点建设学科之一，于2012年获批上海市一流学科（B类），同年学科评估结果中，排名全国第六，上海市第一；2016年教育部第四轮学科评估中位列A档（全国前5%）；在2019软科中国最好学科排名中位列全国第五，2020、2021、2022连续三年位列第二，2023、2024连续两年位列全国第一，成为全国顶尖学科。
软件工程学院现设软件科学与技术系、嵌入式软件与智能系统系、密码与网络安全系，拥有国家可信嵌入式软件工程技术研究中心、可信软件国际联合研究中心、软硬件协同设计技术与应用教育部工程研究中心、教育部可信软件国际合作联合实验室、上海市高可信计算重点实验室、上海市可信工业互联网软件协同创新中心等一批实验室基地。
拥有国家自然科学基金委创新研究群体1个，中国科学院院士1名，国家级领军人才、海内外高层次青年人才、上海市各类人才计划获得者共27人。汇聚国际可信软件大师级人才，图灵奖获得者Joseph Sifakis教授，美国科学院、欧洲科学院、美国工程院院士Moshe Y. Vardi教授担任荣誉教授，开展产学研协同育人。
软件工程学院已构建具有国际视野的高端软件人才培养模式，充分发挥学科师资队伍优势，着力培养具备大系统架构设计能力、自主创新思维和研究潜力、可信工业控制软件设计以及可信人工智能技术研发能力的高端软件人才，为国家及上海市的信息领域提供智力支持。2024年6月，由中国（上海）自由贸易试验区临港新片区管理委员会、华东师范大学和港城集团三方共建的滴水湖国际软件学院正式成立，学院全面推进“一院两区”战略部署。华东师范大学软件工程学院（滴水湖国际软件学院）坚持“把办学前移到急需产业一线”的运行新模式，实行政企校社联动、区域资源共享的办学新体制，采用产业需求牵引、产教紧密融合的育人新范式，努力打造拔尖软件人才培养基地、软件技术一流创新基地、关键软件产教融合中心、国际学术资源汇聚中心。
学院始终秉承“以学生为中心、以市场为导向、以创新求发展”的办学理念，坚持走办学国际化、运作市场化、产学研一体化的特色之路，培养高层次、实用型、复合型、国际化的软件人才。学院坚持以习近平新时代中国特色社会主义思想为指导，以学科建设为抓手，以创新人才培养为目标，将学院建设成为国内一流、国际知名的软件工程学院！
联合国可持续发展目标
2015 年，联合国成员国同意 17 项全球可持续发展目标 (SDG)，以消除贫困、保护地球并确保全人类的繁荣。我们的工作有助于实现下列可持续发展目标：
-
可持续发展目标 3 良好健康与福祉 -
可持续发展目标 7 经济适用的清洁能源 -
可持续发展目标 8 体面工作和经济增长 -
可持续发展目标 9 产业、创新和基础设施 -
可持续发展目标 11 可持续城市和社区 -
可持续发展目标 12 负责任消费和生产 -
可持续发展目标 13 气候行动 -
可持续发展目标 14 水下生物 -
可持续发展目标 15 陆地生物 -
可持续发展目标 16 和平、正义和强大机构
指纹
深入其中 软件工程学院 为活跃的研究主题。这些主题标签来自该组织中成员的成果。它们共同形成唯一的指纹。
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
The Emergence of Shared Norms in Decentralized Networks: A Social Computing Model of Lexical Coordination
Liu, F., Huang, R., Zhang, J., Jiang, R., Li, Q. & Zhang, M., 2027, Social Computing - 6th International Conference, ICSC 2025, Revised Selected Papers. Chen, Y., Rahal, C., Fu, X., Luo, J.-D., Evans, J. & Zhan, X.-X. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 28-39 12 页码 (Communications in Computer and Information Science; 卷 2909 CCIS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores
Dong, Y., Wu, X., Li, J., Pu, G. & Strichman, O., 2026, Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings. Ernst, G. & Rozier, K. Y. (编辑). Springer Science and Business Media Deutschland GmbH, 页码 88-105 18 页码 (Lecture Notes in Computer Science; 卷 15945 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
Accurate airway tree segmentation with multi-dimensional attention based deep learning techniques
Cui, H., Cao, G., Cheng, X., Ge, Y. & Zhang, J., 15 10月 2026, 在: Biomedical Signal Processing and Control. 126, 110909.科研成果: 期刊稿件 › 文章 › 同行评审