附1：姚期智教授致全校同学的一封信(PDF格式)
附2：姚期智教授简介
附3：本科生转系申请表
“软件科学实验班” 接收转系学生计划
一、接收计划：
二、办学条件：
三、日程安排及具体实施办法
软件科学实验班课程简介
课程描述 Course Descriptions
1. & 2. 理论计算机科学(上)(下)
教员：姚期智, 大阳城国际娱乐官网高等研究中心教授
本课程介绍计算机算法设计及复杂性。此方面知识是多项科学领域中，如网络搜索及生物资讯，不可缺之工具。教学着眼于启发式教育，引导学生从基本技术至最新研究课题。课程对象包括任何对近代资讯科学有兴趣的理工科学生。本课分两学期教授，第一学期着重于基础理论，第二学期重在发展深入理论及其应用。
Theoretical Computer Scienc(I)(II)
This two-semester course gives an in-depth introduction to algorithm design and computational complexity. Such knowledge has important applications to many scientific fields such as web searching and bio-informatics. The instruction style encourages interaction and self-motivation, taking the students from basic foundational material to research frontiers. This course could be of interest to any science or engineering student interested in contemporary information science.
3. 程序设计基础
教员：潘爱民
本课程假设学生已经具备了最基本的程序语言知识(例如函数、循环、数组)。主要内容包括：C/C++基本程序设计概念(过程程序设计、面向对象程序设计)、计算机数据结构(例如链表、栈、队列、树等)、与这些数据结构相关的常用算法， 以及一些经典的程序设计模式(例如引用计数、虚拟构造器)。
Foundations of Programming
This course assumes that the students have the basic knowledge of programming languages (e.g. functions, loops, and arrays, etc.). Topics to be covered include an overview of fundamental programming concepts in C/C++ (e.g. procedural programming and object-oriented programming), data structures (e.g. linked lists, stacks, queues, and trees), common algorithms that related to those data structures, and an introduction of programming patterns (e.g. reference count, virtual constructor).
潘爱民，于2004年4月加入微软亚洲研究院系统组。1991年在南开大学数学系获得理学学士学位，1994年在大阳城国际娱乐官网自动化系获得工学硕士学位，2003年在北京大学计算机系获得理学博士学位。加入微软前，他在北京大学计算机研究所担任信息安全研究室主任职务，曾经在北京大学计算机系讲授过“组件技术”、“网络与信息安全”两门研究生课程。目前从事分布式系统的开发和诊断、系统安全方向的研究。
Aimin Pan Aimin Pan joined System Research Group, Microsoft Research Asia in April 2004. He received his Ph.D degree in Computer Science from Peking University in 2003. He led a laboratory on information security when he worked in Peking University before joining Microsoft, and taught two graduate courses, “Component technology” and “Network and Information security”. His research interests include development and diagnosis of distributed systems, and system security.
4. 密码及安全计算
教员：王小云, 大阳城国际娱乐官网高等研究中心教授
通信和计算中的安全问题是当今最富有挑战性的科学问题之一。本课程将回顾30年来为解决这一问题而发展起来的密码学和相关的数学技术。学生通过这门课程不仅能够学习到密码学的基础理论，还能够在实验室得到实践经验。
Cryptography and Secure Computation
The security question in communication and computation is one of the most challenging scientific issues of today. This course gives a survey of cryptography and other mathematical techniques that have been developed in the last thirty years for tackling the security problem. Students will learn theoretical principles in the lectures, and gain practical experience in the laboratories.
5. 软件工程实习
教员：邹欣 现任微软亚洲研究院技术转化组项目主管。主要负责研究成果到商业产品的转化。
先修课：程序设计基础 课程目的是在实战中提高学生的软件开发能力。 本课程从实战出发，在大强度的实际项目工作中培养学生的软件开发技术（模块化设计，面向对象的设计，设计模式，多线程技术, 重构技术） 和面向网络服务的软件架构。掌握软件工程的实用的方法、技术和工具. 如敏捷的软件开发方法，程序理解，单元测试，代码复审，软件效能和可扩展性分析等。
Software Engineering Practice
Pre-requisite: Foundations of Programming Students will be required to complete a series of projects in a real world environment thru out the course. They will learn first-handed knowledge of advanced software development techniques (modular and OO design, design pattern, multi-threading programming, refactoring), and service oriented web application architecture. The key concepts, methods, and tools of software engineering will be covered and exercised as students going througth different phases of a software product life cycle, such as Agile Process model, program comprehension, unit test, code review, performance and scalability analysis.
邹欣，从1996年起在微软Outlook 的产品团队从事开发工作, 主要注重于产品国际化，邮件内部协议，和提高应用程序的效能。2003 年到2005 年，邹欣在微软Visual Studio Team System产品团队工作，负责软件质量管理工具的开发。1993 到 1994 年开发过商用GPS 汽车跟踪系统和GIS 软件。1992-1993年，他在美国惠普公司接受软件工程的培训。邹欣1991 年毕业于北大计算机软件专业，获学士学位，1996 年获美国Wayne State Univ. (韦恩州立大学) 计算机软件专业硕士学位。
Xin Zou is a Development Lead in Microsoft Research Asia, Technology Transfer Group, in charge of transferring research ideas into commercial products. He has been working in Microsoft Corporation since 1996, when he joined the Microsoft Office group to work on Fareast version of outlook97. Since then, he had worked on other Outlook versions, Microsoft internal tools, and the Team Foundation Server of Visual Studio 2005. Prior to his Microsoft career, He worked on GPS and GIS applications in China from 1993 to 1994. He had received software engineering training in HP from 1992 to 1993. He has a M.S. C.S degree from Wayne State University, Detroit, MI, USA 1996; a B.S.C.S degree from Peking University, China in 1991.
6．操作系统
教员：张永光
本课程将讲授最基本的操作系统原理。主要内容包括：计算机与操作系统结构，机制与策略，资源管理，多任务系统，内存管理，文件系统，输入输出子系统及设备管理，通信与网络，保护与安全。本课程要求学生课后积累动手经验。
Operating Systems
This course teaches the basic principles of operating systems: Computer and operating system structures; Mechanisms and policies; Resource management; Implementation of multitask systems; Memory management; File systems; I/O subsystem and device management; Communication and networking; Protection and security. Students are expected to spend additional time to gain hands-on experience.
张永光博士于二零零六年一月加入微软亚洲研究院，研究兴趣包括移动计算、系统、及安全。此前他任职休斯实验室高级科学家，主导移动及无线网络与系统领域的技术研究，成果覆盖卫星网络，MANET，及第三代无线的互联网技术，移动系统，安全机制等。他曾参与了十数个美国ＤＡＲＰＡ的研究项目，曾任下一代互联网研究项目的联合主持人及其它五个项目的技术主导。张博士发表了五十余篇技术论文和一本学术编著。他现是ＩＥＥＥ移动计算汇刊编委 及多个国际学术会议的专家委员。他于一九九四年毕业于美国普度大学获计算机科学博士学位。二零零一至二零零三年间曾任德州大学奥斯汀分校计算机科学系兼职教授，讲授了“移动计算”和“Linux核心编程”等本科及研究生课程。
Yongguang Zhang
Yongguang Zhang joined Microsoft Research Asia in January 2006. His research interests include mobile systems, networking, and security. Previously, he was a Senior Research Scientist at HRL Labs, where he led research efforts in internetworking techniques, system developments, and security mechanisms for satellite networks, ad-hoc networks, and 3G wireless systems. He was a co-PI in a DARPA Next Generation Internet project and a technical lead in five other DARPA-funded wireless network research projects. He has published over 50 technical papers and one book, is an Associate Editor for IEEE Transactions on Mobile Computing, and has organized and chaired/co-chaired several international academic and technical conferences and workshops. Yongguang received his Ph.D. in computer science from Purdue University in 1994. From 2001 to 2003, he was also an adjunct assistant professor of Computer Science at the University of Texas at Austin, teaching undergraduate and graduate courses including “Mobile Computing” and “Linux Kernel Programming.”
7. 分布式计算 （基础与系统）
教员：陈卫
通过本课程学生将学到分布式计算机系统的基本算法与原理，例如逻辑时钟，协同问题，失效检测，拜占庭一致性协议，分布式加锁，及流言协议。学生还将通过学习若干先进分布式系统了解如何将基本算法和原理用于设计和分析分布式系统。
Distributed Computing (Fundamentals and Systems)
Through this course, students will learn fundamental algorithms and principles in distributed computing systems, such as logical clocks, consensus problem, failure detection, Byzantine agreement, distributed locking, and gossip protocols. They will also learn how to design and analyze distributed systems using these fundamental algorithms and principles through the study of a number of advanced distributed systems.
陈卫现任微软亚洲研究院系统研究组研究员及项目负责人, 主要负责分布式系统，分布式协议及容错计算的研究。陈卫于大阳城国际娱乐官网计算机系获学士和硕士学位，并于美国康奈尔大学计算机系获博士学位。有多篇论文发表于计算机领域一流学术刊物及会议，并多次出任分布式计算领域国际学术会议的技术委员会成员。他的博士论文“关于失效检测器的服务质量研究“在2000年IEEE 可靠性系统与网络国际年会（International Conference on Dependable Systems and Networks）上获得最佳论文奖 William C. Carter Award.
Wei Chen
Wei Chen is a Researcher and Project Lead at the System Research Group of Microsoft Research Asia. He is leading the research in the areas of distributed protocols, distributed systems, and fault tolerance. Wei Chen has his Bachelor and Master degrees with Tsinghua University and Doctor Degree with Cornell University, all in Computer Science. He has a number of papers published in top computer science journals and conferences and served as program committee members for international conferences in the area of distributed computing. His paper “On the quality of service of failure detectors" based on his doctoral dissertation won the best paper --- William C. Carter Award in IEEE International Conference on Dependable Systems and Networks (DSN) in 2000.
8. 当前计算机研究热门课题
该课程为综述性课程。课程目的是向学生介绍计算机科学研究的前沿课题，从而帮助学生在计算机科学研究和工业界的发展制定计划。每一相关领域将由一讲或数讲组成。主讲老师将由大阳城国际娱乐官网高等研究所和微软亚洲研究院的各领域专家组成，并会邀请在时访问北京的世界级计算机科学专家给客座讲座。课题将包括（但不限于）计算机系统，计算机网络，信息安全， 计算机图形学，计算机视觉，网络搜索和挖掘，多媒体，语音技术和自然语言理解。
Current Topics in Computer Science
This course provides an overview of the state of the art of computer science research. The goal is to introduce students to the frontier of computer science research and help them plan their career in the computer industry. The course will devote one or a few lectures to each field and the corresponding lectures will be taught by top experts of that field at the Center for Advanced Studies of Tsinghua University and Microsoft Research Asia. Some lectures will be guest taught by world renowned computer scientists who are visiting Beijing. Examples of topics include computer systems, computer networking, information security, computer graphics, computer vision, web search and mining, multimedia, speech technology, and natural language processing.
