Research Areas
- Artificial Intelligence
- Complexity Theory and Theory of Algorithms
- Computer-Aided Design
- Data and Knowledge Base Systems
- Graphics
- Meaning and Computation
- Network Security and Cryptography
- Parallel and High-Performance Computation
- Processor Architecture and Compilation
- Software Engineering
- Systems
- Vision
Associated Centers and Research Units
Photo courtesy Dmitrii Zagorodnov