帝国理工的理学硕士计算（软件工程）解析
本课程专门研究工程在软件设计、开发和维护中的应用。
这门授课型研究生课程面向可能没有专门研究过计算但已经研究过大量计算的学生。
如果您想成为特定计算领域的专家，本课程将为实现该目标迈出关键的第一步。
本课程专门研究工程在软件设计、开发和维护中的应用。研究领域包括计算金融；计算机网络和分布式系统；计算机视觉; 计算最佳决策；自定义计算；数据库；分布式算法；分布式系统；图形；智能数据和概率推理；以及生物信息学的介绍。
您可以学习以下所有核心模块。
理学硕士计算机科学（专家）个人项目（夏季）
理学硕士软件工程组项目（秋季和春季）
工业软件工程（春季）
专注于软件工程师每天使用的工具、技术、实践和原则，以成功构建、修改、维护和发展大型软件系统。 您从下面选择四到七个模块。
高级数据库（秋季）
提供有关如何使用 SQL 对数据库管理系统 (DBMS) 进行编程、如何将 DBMS 链接以形成分布式数据库以及如何操作和调整 DBMS 以提高性能的详细理论和实践知识。
面向对象编程的高级问题（秋季）
讨论围绕面向对象语言的设计和实现、基本原理和探索替代方案的问题。
高级安全*（秋季）
从以实际工业为重点的角度对安全主题有深入的了解，同时还提供了存储研究的角度。
并发进程*（秋季）
涵盖以下基础知识：过程代数、pi 演算的语义以及 pi 演算的应用。
密码工程（春季）
教授如何使用密码技术为各种不同的需求和应用设计和实现安全通信系统，并通过考虑从理论到更实际问题的所有方面来实现这一点。
分布式算法（春季）
涵盖分布式算法中的关键概念、问题和结果。介绍如何推理分布式算法的正确性以及编程的实践经验。
信息与编码理论（秋季）
提供对计算机安全必不可少的信息和编码理论的高级介绍（例如差分隐私、旁道攻击等）。
大规模数据管理*（春季）
涵盖面对新需求（不同的访问模式、可扩展性、放宽事务保证）和新硬件（存储级内存、SSD、主内存和多核）时数据库系统的演变。
模态逻辑*（秋季）
培养模态逻辑技能，用于人工智能和软件工程中的规范、知识表示和实践推理。
网络和 Web 安全（春季）
涵盖从网络到应用层的网络和网络安全。该模块的重点是基本原理和技术，以及如何在实践中应用它们的示例。
性能工程*（春季）
介绍性能工程实践中使用的基本原理和技术。整个讲座讨论的问题在工业 ICT 实践中很常见。
普适计算（春季）
普适计算或无所不在计算是技术以指数速度发展的结果，使计算设备变得更小、更强大和连接更紧密。
去中心化账本的原则*（春季）
去中心化账本（如比特币和以太坊）迅速流行，引起了学者、企业家、经济学家和政策制定者的关注。它们承诺并已经创造了新的颠覆性市场，并彻底改变了我们对货币和金融基础设施的看法。
隐私增强技术*（秋季）
介绍各个领域的隐私增强技术的基本概念和技术。
概率模型检查和分析（Spring）
可扩展分布式系统设计* (Spring)
概述了在数据中心环境中设计和工程可扩展分布式应用程序时面临的挑战。
分离逻辑：程序的局部推理*（秋季）
介绍分离逻辑和相关的验证工具。
软件可靠性（秋季）
概述了近期令人兴奋的技术和工具研究，旨在帮助开发人员提高其软件的可靠性。
系统验证（春季）
介绍系统规范和验证的形式化方法。特别突出的是基于逻辑的形式主义和技术，特别是模型检查。
编程语言的类型系统（秋季）
标记*的课程为半课程，2个半课程等于1个完整课程。
如果想了解更多，请咨询蒋老师
