该领域的研究与编程语言的设计和分析有关。该研究包括对核心主题（例如类型系统）的调查，还涉及软件工程和安全性中的应用程序。它结合了理论（通常基于逻辑方法）和实验工作（通常与软件工程重叠）。计算机科学与工程系提供计算机工程（CE）的MS和PhD程序，以及计算机科学（CS）的MS和PhD程序。CE和CS研究生课程有很多重叠之处，但研究领域和课程方面也存在差异。计算机工程专注于计算机的设计，分析和应用，以及计算机作为系统组件的应用。计算机科学是对计算机技术和计算机使用的理论和实践方面的研究。这些是CE和CS计划感
Research in this area is concerned with the design and analysis of programming languages. This research includes investigations of core topics, such as type systems, and also deals with applications in software engineering and security. It combines theory (often based on methods from logic) and experimental work (often overlapping with software engineering). The Department of Computer Science and Engineering offers MS and PhD programs in Computer Engineering (CE) and MS and PhD programs in Computer Science (CS). The CE and CS graduate programs have substantial overlap, but also differences in terms of research areas and curricula. Computer Engineering focuses on the design, analysis, and application of computers and on their applications as components of systems. Computer Science is the study of the theoretical and practical aspects of computer technology and computer usage. These are the research areas of interest to the CE and CS programs. To help you with your choice, we indicated for each area whether it is exclusive to the CE program (CE only), it is normally associated with one of the two programs ((CE),(CS)), or it is equally represented in both programs (CE and CS). If your research interest aligns with an area belonging to a particular program, we recommend you to apply to that program. Note that inside the application you will be asked to select up to 3 of these areas.