计算机科学专业主要分支方向介绍
1. 编程语言 Programming Language 研究内容： 计算机语言的设计与实现，其目标是同时提高开发人员的开放效率和软件质量。
包含如下课题： 1) 程序语言设计和实现(Programming Language Design and Implementation)：编译器优化 (Compiler Optimization)，语义(Semantics)，即时编译器(JIT Complier)，域特定语言(DSL： Domain-specific Languages)。 2) 编程环境和工具(Programming Environments and Tools)：监控(Monitoring)，程序员搜索引擎 (Programmer Search Engines)，基于模型的设计(Model-based Design)。 3) 程序分析和验证(Program Analysis and Verification)：模型检测(Model Checking)，静态和动态分 析(Static and Dynamic Analysis)，定理证明(Theorem Proving)，实时系统的任务调度分析 (Schedulability Analysis for Real-time systems)。
2. 信息安全 Information Security 研究内容： 1) 密码学(Cryptology) 密码学理论(Cryptography Theory)，新的密码学系统开发(Development of New Cryptographic Systems)，密码分析学(Cryptanalysis)，协议开发，应用密码学，量子计算(Quantum Computation)。 2) 隐私(Privacy) 无线传感器网络的隐私，RFID 系统的隐私，数据库的隐私问题，基于网络的应用的隐私。 3) 软件安全(Software Security) 开发编程语言和计算机安全之间的相互影响。 4) 一致性和完整性(Identity and Integrity) 预防“网络钓鱼”和攻击。 5) 网络安全(Network Security) 网络安全检测(Network Security Monitoring)和入侵防御(Intrusion Prevention)。
3. 数据库与信息系统 Database and Information Systems 研究内容： 1) 数据库(Database)：数据模型，数据查询、集成，各种数据库系统的设计、实现等。 2) 数据挖掘(Data Mining)：从数据中提取模式的处理过程。它在很多领域有广泛的应用，例如市场营销、 监测、入侵检测和科学发现。数据挖掘和机器学习很相关，但是数据挖掘更关注实际应用。 3) 信息检索(Information Retrieval)：研究如何提取各种媒体(文本、音频、视频等，目前的研究以文本 居多)中的信息，同时还搜索与之关联的数据库和万维网。 4) 自然语言处理(Natural Language Processing)：构建一种可以分析、理解和生成自然语言的计算机系 统。研究课题包含自动摘要(Automatic Summarization)，语篇分析(Discourse Analysis)，机器翻译 高端申请中心 Top University Guidance & Premium Service Center 4 (Machine Translation)，命名实体识别(Named Entity Recognition)，自然语言生成(Natural Language Generation)和语音识别(Speech Recognition)等。
