软件工程学科简介.docVIP

软件工程学科简介 【学院基本情况】 本学科历史可追溯至1958年成立的计算机专业。2002年，“计算机软件与理论”二级学科被批准为当时上海高校计算机专业中唯一的国家重点学科；2007年，本学科所在的计算机科学与技术学科成为首批国家一级重点学科。 为适应我国经济结构战略性调整的要求和软件产业发展对人才的迫切需要，实现我国软件人才培养的跨越式发展，2001年5月上海交通大学软件学院正式成立，同年12月被教育部和发改委批准为国家示范性软件学院。经过十年的探索与实践，上海交通大学软件学院的精英工程人才培养模式及毕业生综合能力获得业界普遍认同；被教育部批准为“特色专业”建设点、“人才培养模式创新实验区”； 2011年,软件工程被批准为一级学科博士点。上海交通大学软件学院的综合实力已位居全国前列。 软件工程下设软件科学理论、软件工程技术、应用软件、系统软件等学科方向，在相关学科领域具有较高国际影响力。学院具有一支稳定的研究与教学队伍，现有教师31人，其中教授6人、副教授14人、副研究员1人、讲师10人，博士生指导教师6人。师资队伍中，45岁以下的青年教师占69%， 9人在海外著名高校获得博士学位，1人国家杰出青年基金获得者新世纪人才。 该方向的研究领域涉及程序语言、计算模型、模型验证、算法、可靠性。在程序语言理论领域，解决了(-演算、(-演算和ambient演算之间关系的两个公开问题；在程序语义领域，提出了统一的模型理论；在模型验测领域，提出并实现了基于自动机模型检测方法。这些结果发表在Theoretical Computer Science、Information and Computation、IEEE Transactions、Mathematical Structures in Computer Science、ICALP、CONCUR等国际著名学术刊物和会议上。团队的研究能力与国际同领域团队接轨。 该方向的教师先后担任多个国际会议的主席/程序委员会主席（如APLAS 2010）、多个国际会议（如ICSE 2006、CONCUR 2011）的程序委员会成员；一人担任国际著名期刊Mathematical Structure in Computer Science的编委。 下设实验室： BASICS实验室 下设实验室： 高可靠软件实验室 应用软件 该方向在的若干领域已形成稳定队伍，在数字化造船软件、飞控软件、互动媒体软件的研发方面取得了较大突破，曾获多个科研奖励，具有很强的产学互动特色。 服务软件 2006年以来，该方向团队始终坚持应用驱动研究。主持建成了“上海张江RFID应用测试公共服务平台”和“上海RFID演示中心”；与上海外高桥造船有限公司合作研发了精益制造管理平台，该项目的成功研发及应用成为船舶行业软件系统国产化的典型案例；与徐家汇商城股份有限公司合作开发了零售业ERP系统，该系统已稳定运行三年。开发的电子政务系统、电子商务系统、制造业ERP/MES等系统也在应用单位成功实施应用多年。 该团队主持了6项863及国家自然科学基金项目、1项国家科技支撑计划重大项目、5项上海市科委项目、20余项横向应用实施项目；获省部级科技奖2项；在Data Science Journal, IEEE ICEBE等国际学术期刊和会议上发表高水平论文100余篇。 下设实验室： 信息系统技术实验室 现代物流信息技术与RFID实验室 医疗物联网实验室 实时与互操作 该方向致力于实时网络、信息物理融合系统、嵌入式系统领域的理论研究与应用实施。现有教授/博导1人，讲师2人。胡飞教授是航空信息技术、国防测试技术领域的专家，教育部计算机科学教指委软工委委员，先后主持了国防基础研究、飞机型号工程等20余项科研项目，总经费1000余万，目前主持的项目有：科技部国际合作项目“基于AFDX的下一代航空总线技术研究”、可自主飞行小型无人直升机系统等。 该方向团队在实时系统、信息物理融合系统、高可靠网络传输技术、软件测试理论与方法等方面开展了一系列研究与开发工作。先后与中航总公司无线电电子技术研究所、中国试飞研究院、浙江省计量科学研究院、上海广播电视台等单位建立了长期合作关系。并与加拿大麦吉尔大学、蒙特利尔理工大学开展了联合项目研究与共同人才培养合作。 2006年以来主持和承担国家自然科学基金、科技部国际合作项目2项，省部级、各类横向合作项目10余项。在国际学术期刊、国际学术会议上发表论文50余篇，主要研究成果发表在IEEE Transactions on Parallel and Distributed Systems、IEEE Transactions on Industrial Informatics、ACM Transactions on Embedded C