上海交通大学软件学院

软件学院简介 【学院基本情况】 为适应我国经济结构战略性调整的要求和软件产业发展对人才的迫切需要，实现我国软件人才培 养的跨越式发展，2001 年 5 月上海交通大学软件学院正式成立，同年 12 月被教育部和发改委批准为国 家示范性软件学院。经过十年的探索与实践，上海交通大学软件学院的精英工程人才培养模式及毕业 生综合能力获得业界普遍认同。被教育部批准为“特色专业”建设点、“人才培养模式创新实验区”, 综合实力位居全国前列. 软件工程学科队伍现有教师 36 人，其中教授 10 人、副教授 15 人、讲师 11 人，博士生导师 11 人。 师资队伍中，45 岁以下的青年教师占 69%，34 人具有博士学位，9 人在海外著名高校获得博士学位，1 人为国家杰出青年基金获得者，3 人为教育部新世纪人才。 学院研究方向比较全面，在形式化方法、软件工程技术、软件服务、实时与嵌入式系统、数字媒 体技术、软件系统等方向均有一支稳定的研究与教学队伍，并有与之相结合的软件工程管理方向的研 究与实践。在形式化方法、软件工程技术方形有较高国际影响力。 2006 年以来，软件学院承担各类科研项目 120 多项，科研经费近 4000 万，获省部级以上奖励 7 项； 在国际学术刊物及国际学术会议上发表论文 500 余篇；获发明专利授权 16 项；出版学术专著 11 部。 软件学院建立了具有国际学术影响力的师资队伍。现有教师中有 8 位国际学术期刊的编委、6 位国 际学术期刊专辑的特邀编辑、3 位国际学术会议论文集的编辑；7 位国际学术会议的大会主席、指导委 员会主席或程序委员会主席，有 12 人次作了国际会议的大会特邀报告；主办/承办了 7 个国际学术会 议，是 3 个国际合作计划的中方代表；接待海外学者 100 余人次，有 30 余人次出国进修访问；有 2 位 分别担任 IEEE 软件工程知识体系（SWEBOK V3）联合主编和领域编辑，1 位为中国首位获 IEEE 认证的 软件专家（CSDP）。 学院秉承“起点高、基础厚、要求严、重实践、求创新”的办学传统，根据学科特点确定课程体 系；结合学生特点及个性化发展需要制定培养计划，紧密结合学科前沿及业界实际需要，实施高层次 创新型软件人才培养战略。五年来学院授予博士学位 17 人、硕士学位 246 人，获省部级以上教学成果 奖 2 项，省部级以上精品课程 8 门。 【毕业生去向】 软件学院历届毕业生均受到国内外著名 IT 企业的普遍 欢迎，在参加就业的应届毕业生中，逾半数的同学直接进入 世界 500 强公司的研发中心、国际一流软件企业，主要从事 与软件相关的研究、开发、咨询、服务等工作。 软件学院毕业生一直保持良好的就业竞争力，即使在全 球经济遭受金融海啸沉重打击之际也不例外。历届全日制硕 士毕业生的月平均起薪始终保持在 8000 元以上，且有逐年 走高的趋势；大部分毕业生已经成为所在企业的技术和管理 队伍的骨干。逾九成毕业生成功落户上海，几乎所有毕业生 在华东地区就业。 上海交通大学软件学院的毕业生，已经成为人才市场上一道亮丽的风景。 【学科方向】 一、形式化方法方向 形式化方法是软件学院的传统研究方向，在孙永强教授的长期坚持下，该方向的研究一直处于国 际水平。学科带头人傅育熙是国家杰出青年基金获得者、亚洲软件基础学会委员、教育部重点实验室 主任、国务院学位委员会学科评议组成员、教育部教指委计算机专业分委会副主任、上海市优秀学科 带头人；在国际学术刊物上发表论文三十余篇，负责过 973 一级课题、863 重点等二十多个省部级项目, 目前负责一项自然基金重点。 该方向现有教师 6 位，其中 4 位为教授兼博导，其研究领域涉及程序语言、计算模型、模型验证、 算法、可靠性。在程序语言理论领域，解决了 -演算、-演算和 ambient 演算之间关系的两个公开问 题；在程序语义领域，提出了统一的模型理论；在模型验测领域，提出并实现了基于自动机模型检测 方法。这些结果发表在 Theoretical Computer Science、Information and Computation、IEEE Transactions、Mathematical Structures in Computer Science、ICALP、CONCUR 等国际著名学术刊 物和会议上。团队的研究能力与国际同领域团队接轨。 2006 年以来，形式化方法方向的教师先后担任多个国际会议的主席/程序委员会主席（如 APLAS 2010）、多个国际会议（如 ICSE 2006、CONCUR 2011）的程序委员会成员；一人担任国际著名期刊 Mathematical Structure in Computer Science 的编委，一人担任国际学术期刊 Security and Communication Networks 的副主编。与十年前相比，该方向在国际学术界的影响力显著提高。 下设实验室： BASICS 实验室：/ 二、软件工程技术方向 该方向致力于软件工程和相关技术的理论与实践研究，现有教授/博士生导师 2 人，副教授 2 人， 讲师 2 人，其中有 3 人担任中国计算机学会软件工程专委会委员，学术带头人赵建军教授在面向方面 软件工程、软件架构、并发程序分析等领域的研究成果受到同行的广泛关注，相关论文被他引 700 余 次；其在软件体系结构复杂性度量方面的研究成果在 Pressman 所著的著名软件工程教科书 (Software Engineering - A Practitioners Approach)中设有专节论述。沈备军副教授担任 IEEE 软件工程知识 体系（SWEBOK 第三版）的联合主编，为中国首位 IEEE 认证的软件专家(CSDP)。 2006 年以来，该方向的教师在软件工程著名杂志 IEEE Transactions on Reliability 上发表论文 1 篇，在著名会议 ASE、ISSTA、ICSE、AOSD、FASE、ICSM、ICST、ISSRE、ICSP、PASTE 上发表论文 15 篇。承办了“The Third International Workshop on Software Development Methodologies of Distributed Systems (SDMDS 2006 )”、“The Third IEEE International Conference on Secure Software Integration and Reliability Improvement（SSIRI 2009）”、“The Eighth Asian Symposium on Programming Languages and Systems（ APLAS 2010）”等软件工程相关领域的国际学 术会议。 近五年，该方向团队主持了 8 项国家 863 和自然科学基金项目,并承担了 1 项 973、1 项 863 重点， 及 20 余项横向合作项目。 该方向与美国麻省理工学院、日本国立情报学研究所、美国华盛顿大学、美国北卡罗来纳大学的 研究机构在软件工程及程序语言研究领域开展了合作。 下设实验室： 高可靠软件实验室：/page/index.htm 三、服务软件方向 服务软件是软件工程学科中应用驱动特色最显著、并已取得较大应用技术突破的研究方向。该方 向现有教授 2 人，副教授 4 人，讲师 2 人，其中博士生导师 3 人。学科带头人曹健教授是教育部新世 纪优秀人才，主要研究领域为基于网络环境的服务计算；他是中国计算机学会协同计算、服务计算、 开放系统专委会委员，中国电子学会云计算专家委员会专家，曾获省部级科技奖 6 项。王东副教授兼 博导是上海市科委“现代物流信息系统关键技术集成与应用示范”首席专家和上海市电子标签与物联 网产学研联盟秘书长。 2006 年以来，该方向团队始终坚持应用驱动研究。主持建成了“上海张江 RFID 应用测试公共服务 平台”和“上海 RFID 演示中心”；自主研发了已在多家医院推广使用的基于室内定位技术的医疗物联 网应用系统；与上海外高桥造船有限公司合作研发了精益制造管理平台，该项目的成功研发及应用成 为船舶行业软件系统国产化的典型案例；与徐家汇商城股份有限公司合作开发了零售业 ERP 系统，该 系统已稳定运行三年。 该团队主持了 10 项 863 及国家自然科学基金项目、1 项国家科技支撑计划重大项目、7 项上海市 科委项目、23 项横向应用实施项目；获省部级科技奖 4 项；在 IEEE Transactions、World Wide Web 等国际学术期刊和会议上发表论文 100 余篇。 下设实验室： 信息系统技术实验室： / 现代物流信息技术与 RFID 实验室： 四、实时与嵌入式系统方向 该方向致力于实时网络、CPS、嵌入式系统领域的理论研究与应用实施。现有教授/博导 1 人，副 教授 3 人，讲师 1 人，其中 2 人是教育部新世纪人才。学科带头人胡飞教授是航空信息技术、国防测 试技术领域的专家，教育部计算机科学教指委软工委委员，先后主持了国防基础研究、飞机型号工程 等 20 余项科研项目，总经费 1000 余万，目前主持的项目包括科技部关于下一代大飞机核心技术的 “AFDX 下一代航空总线技术研究”。 该方向团队开发了基于二进制翻译技术的异构虚拟平台 CrossBit，并在国内较早开展了群体智能 的研究工作。在实时系统、航空测试领域解决了航空试验铁鸟台加载技术、分布协同虚拟试验技术和 无人直升机飞行控制软件的研究，成果在某型飞机、试飞平台等多个型号工程中得到应用。 2006 年以来主持和承担国家自然科学基金、863、科技部国际合作项目 7 项，省部级、各类横向合 作项目 10 余项。2011 年获 2 项自然基金项目资助。在国际学术期刊、国际学术会议上发表论文 40 余 篇，主要研究成果发表在 IEEE Transactions、Industrial Informatics、Journal of Control and Intelligent Systems、Concurrency and Computation: Practice and Experience 等。与美国卡内 基梅隆、马里兰、加拿大麦基尔、蒙特利尔理工大学开展了博士生联合培养，并成功申请到科技部 的中外合作研究项目。 下设实验室： 嵌入式实验室：24/index.php/Main_Page 实时与互操作实验室：0/rtio/index.php/Main_Page 五、数字媒体技术方向 该方向致力于数字媒体技术的理论和方法研究，并结合影视动画、游戏娱乐、展览展示、教育训 练、数字医疗等领域开展应用研究。团队现有副教授 2 人，讲师 3 人。学术带头人杨旭波副教授在混 合现实与数字娱乐领域的研究成果被他引 400 余次，在流体动画与投影增强现实领域的研究达到国际 前沿水平，担任中国图学学会计算机图形学专委会副主任、虚拟现实与娱乐教育领域两个国际学术期 刊的专辑特邀编辑、ACM Computers in Entertainment 期刊评委等学术兼职。 该方向团队在图形学与虚拟现实领域开展了国际水平的研究，提出流体动画细节模拟的新理论与 新方法，建立复杂表面的投影增强现实新算法与系统，提出虚拟手术软组织建模高效算法。这些研究 先后得到 6 项国家 863 和国家自然科学基金项目、4 项省部级项目和 10 余项其它项目的支持。研究成 果先后发表在 IEEE 计算机学会旗舰期刊 Computer、IEEE Transactions、Eurographics、Pacific Graphics、Computer Graphics Forum、ISMAR、ProCams、IJVR、IJCARS 等国际著名学术期刊和会议上， 并由 Springer 出版了英文学术专著。 该方向团队结合应用，积极推进科研成果转化，获得 4 项国家发明专利授权。所研发的多套互动 新媒体装置已成功应用在地方博物馆和美术馆，并获优秀展品奖；所研发的医学图像分割算法被集成 到国际知名医疗器械公司的软件产品中。 下设实验室： 数字艺术实验室：/www/home/ 六、系统软件方向 该方向从事系统软件技术的设计和实现，以推进和支撑新兴计算机应用的研发和实施。研究领域 有云存储、容错与灾难恢复、文件系统、弹性云平台的构造与测试、分布式移动计算、操作系统和中 间件；现有教授 1 人、副教授 3 人、副研究员 1 人、讲师 1 人。 该方向学术带头人邹恒明为 IEEE 软件工程知识体系(SWEBOK)领域编辑，是闻名信息工业界的美国 “英雄软件”SRDF 的主要设计者，在 ISSRE、DSN、ICDCS、IEEE Transactions、Real Time Systems、SRDS、ICDE 发表论文十余篇，出版专著 4 部，其研究成果被用到美国知名高科技公司 Arbor Networks 和中国通信服务公司的产品中。 吴刚在分布计算领域主持了多项国家 863 项目和自然基金项目，目前正致力于云计算平台