Algorithms and Complexity
This area develops efficient problem-solving methods and explores the fundamental limits of computation.
Research Areas
Architecture and Operating Systems
Researchers build the hardware and software foundations that make modern computing systems work.
Artificial Intelligence and Machine Learning
Researchers build systems that can perceive, reason, learn, and solve complex problems.
Bioinformatics
This area applies computing, statistics, and biology to analyze DNA, proteins, and other biological data.
Computer Graphics
Researchers create and manipulate visual content through computational modeling, rendering, and imaging techniques.
Computer Vision
Researchers teach computers to interpret images, video, and visual information from the physical world.
Cryptography
This area protects information through secure communication techniques designed to withstand adversarial attacks.
Cyber Physical Systems
Researchers connect computing and physical systems to monitor, control, and secure complex infrastructure.
Data Science
Researchers use statistical, computational, and machine learning methods to uncover meaningful patterns in data.
Human-Computer Interaction
This area designs interactive technologies that make computing systems more useful, accessible, and effective.
Modeling and Verification
Researchers use mathematical models and rigorous analysis to ensure software and systems behave correctly.
Natural Language Processing
Researchers enable computers to process, understand, and generate human language.
Networking and Mobile Computing
Researchers connect people, devices, and applications through reliable networks and mobile technologies.
Parallel and Distributed Systems
This area builds systems that coordinate tasks across multiple machines for faster, scalable computing.
Programming Languages
Researchers explore how languages are designed, implemented, and used to express computation.
Quantum Computing
Researchers apply quantum theory to develop technologies that solve certain problems faster than classical systems.
Robotics
Researchers create intelligent machines that sense, reason, act, and interact with the physical world.
Security and Privacy
Researchers develop technologies that protect data, users, systems, and digital infrastructure from threats.
Visualization and Virtual Reality
Researchers create interactive and immersive visual tools for exploring, analyzing, and communicating complex information.