Graduate Application for the Computer Science Degree: Specification of Research Areas of Interest
Graduate applicants to the Computer Science program will be asked to specify up to three areas of research interest in the online application form, from the list below. The primary topics of research currently being carried out in these areas by faculty members in the School of Computing are listed in the table below. Information about the areas of research of the faculty members may be found on the departmental faculty page and the departmental research page.
| Research Areas | Primary Research Topics |
|---|---|
| AI & Machine Learning | Cognitive Systems; Explainable AI; ML & Fairness; ML & Systems; ML Theory, Physics-Informed ML; Representation Learning; Reinforcement Learning; Structured Learning & Prediction |
| Algorithms & Theory | Approximation Algorithms; External Memory Algorithms; Graph Algorithms; Parameterized Algorithms and Complexity; Resource-Efficient Data Structures; Theoretical Cryptography |
| Computational Science | Computational Biology; Computational Inverse Problems; High-Performance Scientific Computing; PDE Solvers |
| Computer Architecture | Accelerators; Architecture-Codesign; Coherence Protocols; Hardware Security; Memory Systems; Microarchitecture Synthesis; VLSI |
| Computational Geometry & Topology | Applied and Computational Topology; Computational Geometry; Geometric Data Analysis; High-dimensional Geometry; Topological Data Analysis |
| Computer Graphics | Real-Time Rendering; Computer Animation; Physics-Based Rendering; Physics-Based Simulation; Geometric Modeling; GPU Algorithms; Ray Tracing Hardware |
| CS Education | Ethics in CS Courses; Code Structure |
| Computer Networks | Internet of Things; Mobile & Wireless Networks; Networks & Systems; Network Security & Reliability |
| Computer Vision | Vision and AI; Visual Perception |
| Data Management | Algorithms for Data Analytics; Data Discovery; Data Quality; Data Usability; Ethical/Responsible Data Management; Large-Scale Data Analysis |
| Formal Verification | Protocol Verification; Verification of Concurrent Programs; Verification Tools |
| High-Performance Computing | Accelerators; Cloud Computing; Compiler Optimization; Distributed Systems; High-Performance Scientific Computing; Parallel Computing; Scalable Systems |
| Human-Computer Interaction | Computer Games; Personal Data; Social Computing; Ubiquitous Computing |
| Imaging | Medical & Biological Image Analysis; Deep Learning for Image Analysis; Statistical Machine Learning for Image and Shape Analysis; Scalable Methods and Architectures for Image Analysis; Shape Modeling & Analysis; Computational Anatomy and Geometric Statistics |
| Natural Language Processing | Information Extraction; Interpretability; Interactivity & Analysis of Models; Learning for NLP; Multimodality; Natural Language Understanding (NLU); Semantics; Sentiment Analysis |
| Operating Systems | Distributed Operating Systems; Distributed Key-Value Stores; Fast Datacenter Stacks; Secure OS |
| Programming Languages | Compiler Optimization; Design & Implementation of Programming Languages; Software Testing; Trustworthy Systems Software |
| Robotics | Autonomous Systems and Learning; Human-Robot Interaction; Medical Robotics; Motion Planning |
| Security & Privacy | Cryptography; Mobile Security; Human Aspects of Security & Privacy; Software & System Security |
| Visualization | Data Visualization; Scientific Visualization; Topological Data Analysis |