计算机科学系

本课程提供编程语言的毕业生级别。编程语言规范，分析，实施和运行时支持结构的正式学生;调整语言构建语言的组织语言构建和机制;并研究非编程范式。已成功完成学业的学生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模型的实现和性能，以及与交易处理和恢复相关的系统技术。还将讨论分布式数据库，数据库安全和云中的数据库。

数据结构的研究生级研究。主题包括自平衡树二项式和斐波纳契堆，不相交的集合，图形和上图。

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

网络协议设计和分析在无线和移动网络。主题包括临时性的。

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

正式课程，涵盖计算机科学的新型和创新主题，尚未拥有自己的数字;将公布具体的课程标题。

这门课程需要一份书面提案，必须在注册前得到主办教师的批准。

这个独立的研究过程中部分地满足要求的博士水平的研究论文小时向博士学历，计算机科学。该课程是根据论文顾问的指导进行的。涵盖的材料将是一个先进的自然，旨在为博士学生提供理解领域内最新的研究和目前的发展。讨论和顾问指南将针对研究文章的读数和研究方法的发展，目的是产生原始研究贡献，该研究贡献代表了该领域的新颖发展，或者对现场预先存在的话题进行了新颖的观点。