计算机科学系

本课程提供了一个程序设计语言的研究生水平的展示。编程语言规范、分析、实现和运行时支持结构的正式学生;编程语言的组织，重点是语言结构和机制;以及非编程范式的研究。已成功完成的学生CS 403.也可以不收学分吗CS 503。

建立在CS 104，学生将深入探讨计算机科学教育在中等教育环境中如何提出。学生将有机会探索目前的计算机科学课程，并为未来教学开发资源，并强调大学董事会的AP CS原则（AP CSP）课程。

人机界面的概念，强调软件方面。对话框样式，表单模型，用户文档和人机软件界面的评估。已成功完成的学生CS 407.也可以不收学分吗CS 507。

面向对象的设计和开发中使用UML和Java，设计模式，以及架构模式。

验证和验证及相关流程的研究。主题包括软件分析、测试和质量保证的技术和工具。已成功完成的学生CS 416.也可以不收学分吗CS 516.。

需求工程及其阶段的研究。主题包括正式的、半正式的和非正式的引出、文档和软件系统需求管理的范例。已成功完成的学生CS 417.也可以不收学分吗CS 517.。

研究设计时和运行时软件适应的技术和工具，包括反射和元编程原则，软件模块化，元建模和软件语言工程。

本课程提供研究生水平的操作系统介绍。学习操作系统的基本概念，重点是内存、处理器、设备和信息管理。

计算机安全的概念，如加密工具，用户认证，访问控制，数据库安全，入侵检测，恶意软件，服务，防火墙和入侵防御系统拒绝，检查可信计算和多级安全，缓冲区溢出，软件的安全性，物理和基础设施的安全性，人为因素和安全审计。已成功完成的学生CS 428.也可以不收学分吗CS 528.。

本课程提供研究生水平的编译器构造演示。面向过程的语言的语法和语义及其编译中使用的翻译技术;包括计算机实现。

显示存储器，产生点，向量等。交互式与被动图形，微杂散上的图像的模拟存储等。数字化和数字存储，通过功能，语法表和随机网络进行模式识别。三维，投影和隐藏线问题的数学。已成功完成的学生CS 435也可以不收学分吗CS 535.。

本课程提供计算机通信与网络的研究生水平的表现。有关计算机的通信问题的学生。主题包括物理拓扑结构，开关，错误检测和校正，路由，拥塞控制，并为全球网络（如Internet）连接管理和局域网（如以太网）。此外，网络编程和应用程序将予以考虑。已成功完成的学生CS 438也可以不收学分吗CS 538.。

本课程将涵盖密码学和数据安全的算法和概念。我们会研究密码学和数据保安的算法和概念，例如对称密码、非对称密码、公开密钥密码、哈希函数、消息认证码、密钥管理和分发等。

数字取证是一种研究领域，其重要性和知名度迅速增长。它涉及保留，识别，提取，记录和解释数字数据。虽然有时误解，数字取证就像其他类型的调查。随着计算机相关事件和犯罪的不断上升，在这个国家的重点增加了对国土防御的重视，计算机科学毕业生越来越需要调查这些罪行的技能。本课程将介绍计算机犯罪和数字取证的主题。学生将被要求学习计算机犯罪的不同方面，并在其中揭示，保护和利用数字证据的方式。

本课程介绍了软件安全的原则和做法。这门课程主题将包括但不限于安全架构，防御性编程，网络安全，安全的信息流，和常用软件的漏洞。

软件逆向工程是一种研究领域，其重要性和知名度迅速增长。本课程将向学生展示监测和理解软件系统的挑战。在课程中，学生将通过利用静态和动态技术来熟悉软件逆向工程文件的做法，以及方法，以便了解文件在计算机系统上可能具有什么影响。

关于网络安全的概念，包括检查网络安全概念，算法和协议。

本课程介绍基本概念和技术，科学数据以及开发在实际应用中数据分析的实用技能。鉴于数据科学的多学科性质，课程将主要集中于优势和不同的数据特​​性的各种方法的优缺点，同时也将提供有关统计或数学基础的一些报道。选题覆盖包括数据预处理，数据的勘探，开采的关系，预测，聚类，异常检测，深度学习，空间和时空数据分析，文本数据分析和大数据。

本课程是资讯检索原理与实务的介绍。本课程将涵盖信息检索的几个方面，包括:索引、处理、查询和分类数据。此外，检索模型、算法和实现也将被介绍。虽然本课程将主要关注文本数据，但其他媒体包括图像/视频、音乐/音频文件和地理空间信息也将被讨论。本课程的主题将包括但不限于:文本处理和分类、网络搜索开发技术和文档聚类。

世界正在经历来自不同来源(包括社交媒体平台)的公开数据量的快速增长。这些平台的编程接口允许为各种目的对这些数据进行近乎实时的处理。本课程将向学生揭示分析社交媒体数据的内在挑战，并介绍可用的工具和技术来解决这些挑战。

本课程提供一个数据库管理系统的研究生层次的介绍。数据库管理(设计、创建和操作数据库)、客户机-服务器、关系和面向对象的数据模型的组成部分。

涉及机器人控制软件的执行情况包括运动，运动学，仿真测试，传感器掺入和未建模因素的问题。已成功完成的学生CS 460也可以不收学分吗CS 560。

本课程涉及的基于神经生理状态（认知和情感）的被动测量人机交互（HCI）的新形式的探索。这些包括认知工作量和情感接合的测量。

在人工智能的保护伞下，包括问题解决、知识表示、规划和机器学习等课题的深入研究。

计算机体系结构，计算机设计，存储器系统设计，并行处理的概念，超级计算机，网络和多处理系统。

本课程提供研究生水平的计算机算法介绍。为计算机实现构建有效的算法。已成功完成的学生CS 470也可以不收学分吗CS 570。

正则表达式和有限自动机。背景自由语法和下推自动机。递归令人享受语言和图灵机。乔姆斯基的层次结构。已成功完成的学生CS 475也可以不收学分吗CS 575。

介绍仿真和计算机仿真模型的使用;仿真方法，包括随机数和变量的生成、模型设计和仿真实验产生的数据分析。已成功完成的学生CS 480也可以不收学分吗CS 580。

本课程为学生提供知识和计算以及动手在该领域的核心技术的经验，高性能的基本概念。这个类的目标是了解如何在广泛的计算平台实现高性能。主题包括：优化基于现代计算机的存储器层次结构，并行算法设计，开发使用MPI，分析并行程序的性能，并行程序顺序程序的性能。

涵盖计算机科学中新的和创新主题的正式课程，但还没有自己的课程编号。具体课程名称将另行公布。

此课程要求必须由注册前的赞助教员批准的书面建议。

没有可用的描述。

这种独立的研究课程部分地满足了所需的硕士学位研究时间，迈向计算机科学硕士学位。该课程是根据论文顾问的指导进行的。涵盖的材料将是一个先进的本性，旨在提供硕士学位的学生，了解该领域内的最新研究和目前的发展。讨论和顾问指导将针对研究文章的阅读和研究方法的发展，目的是产生一个原始的研究贡献，代表了该领域的新发展，或对该领域已存在的主题的新视角。

正式软件开发技术简介;规格，设计和测试的理论基础;和编程方法和软件重用。

常规语言，无背景语言，递归和递归令人令人令人享受的语言，非法确定和不可思议的能力。

编程语言的设计与实现;语法和翻译;语义结构和运行时表示;数据、操作、控制结构和存储管理。

人工智能主题中的先进课程。这些主题包括但不限于问题解决，知识表示，规划和机器学习等主题。该课程将检查领域内的各个分支以及人工智能的应用。

操作系统的设计;同步，死锁，虚拟内存，以及安全的先进的检测;和并行和分布式系统。

数据库管理系统的高级视图，涉及数据库系统的实践和理论方面。将检查关系和NoSQL模型的实现和性能，以及与事务处理和恢复相关的系统技术。还将讨论分布式数据库、数据库安全以及云中的数据库。

数据结构的研究生级研究。主题包括自平衡树、二项和斐波那契堆、不相交集、图和有向图。

计算机网络研究，包括电信和相关数据传输技术。网络哲学，设计和实施。

无线和移动网络中的网络协议设计与分析。主题包括特设。

介绍软件工程中的实证研究方法。专注于测量过程和设计实验。

正规课程，涵盖计算机科学中新的和创新的主题，但还没有自己的数字;具体课程名称将另行公布。

此课程要求必须由注册前的赞助教员批准的书面建议。

这门独立研究课程部分完成计算机科学博士学位所需的博士级研究论文时间。本课程在论文导师的指导下进行。所涵盖的材料将是先进的性质，旨在为博士生提供对该领域内的最新研究和当前发展的理解。讨论和顾问指导将针对研究文章的阅读和研究方法的发展，目的是产生一个原始的研究贡献，代表了该领域的新发展，或对该领域已存在的主题的新视角。