Experimental and applied investigations of intelligent systems, including rational decision making, machine learning and perception, natural language processing, cognitive modeling, and more.
Designing systems for vehicles, wireless sensors, medical devices, wearable fitness devices, smartphones, and other devices not generally considered to be computers.
Developing and deploying mathematically-rigorous and algorithmically-efficient solutions to prove the correct behavior of complex hardware and software.
Investigating exciting new services in educational technology, multimedia, and social computing, as well as the domains of human perception and cognition, social activity, and learning.
Static and run-time compiler systems are used to get more performance, robustness, and energy efficiency with program analysis, transformation, and adaptation.
Networking, Operating Systems, & Distributed Systems
Research from wireless networking and mobile computing to the Internet and datacenter networks, and tackling exciting new problems that span embedded systems, sensor networks, data centers, and cloud services.
We use artificial intelligence techniques for dealing with planning and uncertainty, localization and mapping, sensor processing and classification, and continuous learning.
Addressing key security challenges through near-term stress reduction techniques to improve the quality of silicon and longer-term technologies to detect, recover, and repair faulty systems.
Conducting research across many areas such as data structures, cryptography, quantum computing, parallel and distributed computing, algorithmic game theory, graph theory, geometry, combinatorics, and energy efficiency.
Pursuing the design of the hardware and software infrastructure for massive-scale computing systems. Major research topics include server architecture, GPU computing, emerging memory technologies, distributed software, and more.
MENU
Search
