软件学院简介
【学院基本情况】
为适应我国经济结构战略性调整的要求和软件产业发展对人才的迫切需要，实现我国软件人才培养的跨越式发展，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 200
6、CONCUR 2011）的程序委员会成员；一人担任国际著名期刊Mathematical Structure in Computer Science的编委，一人担任国际学术期刊Security and Communication Networks 的副主编。与十年前相比，该方向在国际学术界的影响力显著提高。
下设实验室：
BASICS实验室：http://basics.sjtu.edu.cn/
二、软件工程技术方向
该方向致力于软件工程和相关技术的理论与实践研究，现有教授/博士生导师2人，副教授2人，讲师2人，其中有3人担任中国计算机学会软件工程专委会委员，学术带头人赵建军教授在面向方面软件工程、软件架构、并发程序分析等领域的研究成果受到同行的广泛关注，相关论文被他引700余次；其在软件体系结构复杂性度量方面的研究成果在Preman所著的著名软件工程教科书 (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项97
3、1项863重点，及20余项横向合作项目。
该方向与美国麻省理工学院、日本国立情报学研究所、美国华盛顿大学、美国北卡罗来纳大学的研究机构在软件工程及程序语言研究领域开展了合作。
下设实验室：
高可靠软件实验室：http://cse.sjtu.edu.cn/page/index.htm
三、服务软件方向
服务软件是软件工程学科中应用驱动特色最显著、并已取得较大应用技术突破的研究方向。该方向现有教授2人，副教授4人，讲师2人，其中博士生导师3人。学科带头人曹健教授是教育部新世纪优秀人才，主要研究领域为基于网络环境的服务计算；他是中国计算机学会协同计算、服务计算、开放系统专委会委员，中国电子学会云计算专家委员会专家，曾获省部级科技奖6项。王东副教授兼博导是上
海市科委“现代物流信息系统关键技术集成与应用示范”首席专家和上海市电子标签与物联网产学研联盟秘书长。
2006年以来，该方向团队始终坚持应用驱动研究。主持建成了“上海张江RFID应用测试公共服务平台”和“上海RFID演示中心”；自主研发了已在多家医院推广使用的基于室内定位技术的医疗物联网应用系统；与上海外高桥造船有限公司合作研发了精益制造管理平台，该项目的成功研发及应用成为船舶行业软件系统国产化的典型案例；与徐家汇商城股份有限公司合作开发了零售业ERP系统，该系统已稳定运行三年。
该团队主持了10项863及国家自然科学基金项目、1项国家科技支撑计划重大项目、7项上海市科委项目、23项横向应用实施项目；获省部级科技奖4项；在IEEE Transactions、World Wide Web等国际学术期刊和会议上发表论文100余篇。
下设实验室：
信息系统技术实验室： http://ist.sjtu.edu.cn/
现代物流信息技术与RFID实验室：http://rfid.sjtu.edu.cn
四、实时与嵌入式系统方向
该方向致力于实时网络、CPS、嵌入式系统领域的理论研究与应用实施。现有教授/博导1人，副教授3人，讲师1人，其中2人是教育部新世纪人才。学科带头人胡飞教授是航空信息技术、国防测试技术领域的专家，教育部计算机科学教指委软工委委员，先后主持了国防基础研究、飞机型号工程等20余项科研项目，总经费1000余万，目前主持的项目包括科技部关于下一代大飞机核心技术的 “AFDX下一代航空总线技术研究”。
该方向团队开发了基于二进制翻译技术的异构虚拟平台CroBit，并在国内较早开展了群体智能的研究工作。在实时系统、航空测试领域解决了航空试验铁鸟台加载技术、分布协同虚拟试验技术和无人直升机飞行控制软件的研究，成果在某型飞机、试飞平台等多个型号工程中得到应用。
2006年以来主持和承担国家自然科学基金、86
3、科技部国际合作项目7项，省部级、各类横向合作项目10余项。2011年获2项自然基金项目资助。在国际学术期刊、国际学术会议上发表论文40余篇，主要研究成果发表在IEEE Transactions、Industrial Informatics、Journal of Control and Intelligent Systems、Concurrency and Computation: Practice and Experience等。与美国卡内基〃梅隆、马里兰、加拿大麦基尔、蒙特利尔理工大学开展了博士生联合培养，并成功申请到科技部的中外合作研究项目。
下设实验室：
嵌入式实验室：http://202.120.40.124/index.php/Main_Page
实时与互操作实验室：http://202.120.40.80/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项国家发明专利授权。所研发的多套互动新媒体装置已成功应用在地方博物馆和美术馆，并获优秀展品奖；所研发的医学图像分割算法被集成到国际知名医疗器械公司的软件产品中。
下设实验室：
数字艺术实验室：http://dalab.se.sjtu.edu.cn/www/home/
六、系统软件方向
该方向从事系统软件技术的设计和实现，以推进和支撑新兴计算机应用的研发和实施。研究领域有云存储、容错与灾难恢复、文件系统、弹性云平台的构造与测试、分布式移动计算、操作系统和中间件；现有教授1人、副教授3人、副研究员1人、讲师1人。
该方向学术带头人邹恒明为IEEE软件工程知识体系(SWEBOK)领域编辑，是闻名信息工业界的美国“英雄软件”SRDF的主要设计者，在ISSRE、DSN、ICDCS、IEEE Transactions、Real Time Systems、SRDS、ICDE发表论文十余篇，出版专著4部，其研究成果被用到美国知名高科技公司Arbor Networks和中国通信服务公司的产品中。
吴刚在分布计算领域主持了多项国家863项目和自然基金项目，目前正致力于云计算平台的弹性构造与测试研究；周憬宇的研究成果已部分应用到美国搜索引擎公司Ask.com的产品，其主要成果发表在会议WWW、SuperComputing、INFOCOM、CIKM、ICPP、DSN和期刊IEEE Transaction on Parallel and Distributed Systems上；唐飞龙发表论文40余篇，任十几个会议主席、程序委员和杂志编委；唐新怀是获国防科工委科技进步一等奖的银河Ⅲ大规模并行主机操作系统的研发者之一。
2006年以来，本学科方向在国际学术会议和学术期刊发表论文100余篇，获授权发明专利10余项，出版专著6部，承担国家863和自然科学基金项目5个、省市级项目8个，获国家和省市级奖励10余次，有4人次担任国际学术期刊专辑编委。
该方向团队积极推动科研成果转化，将云存储研究成果产业化，已获无锡、嘉兴两市政府各450万产业扶持。
下设实验室：
分布式计算实验室：http://dclab.se.sjtu.edu.cn/
自适应分布计算实验室：http://202.120.40.97:8002/adc
医疗物联网实验室：http://202.120.40.193/
上海交通大学软件学院官方网站：http://se.sjtu.edu.cn
联系人：巩老师；联系电话：021-34204140；传真：021-34205145；邮箱：gpb@sjtu.edu.cn。
