Carnegie Mellon University

• 100x100 Clean Slate Project  - Presenting 100x100's objectives, participant researchers and institutions, papers, and projects.
• Algorithmic Adaptation, Dissemination and Integration  - Collaborative endeavor between Carnegie Mellon, industrial partners, and Princeton University. Engages in the study of algorithms and their applications.
• Auton Lab  - Research facility specializing in the computer science, mathematics, statistics and artificial intelligence involved in data pattern detection and exploitation.
• Center for Integrated Manufacturing Decision Systems  - Laboratory group specializes in manufacturing, scheduling, stereo display, inspection robotics, sensor-based process control, and information visualization research.
• Computational Sensor Laboratory  - Specializes in the development of imaging sensors for enhancing the capabilities of robot vision systems.
• Computer Architecture Lab (CALCM)  - Platform for computer architecture research and education at Carnegie Mellon University.
• Computers, Media, and Communications Laboratory  - Undertakes research investigations aimed at laying down the foundations of future networked systems.
• The ConCert Project  - Undertakes studies on the theoretical and engineering basis for the untrustworthy dissemination of software in an untrusted environment.
• Field Robotics Center  - Platform for developing and building automated work machines or robots for land, sea, air and space.
• FIRE  - Federation of Intelligent Robotic Explorers - a NASA-backed program aimed at investigating and understanding the fundamental issues in heterogeneous multi-robot coordination.
• Medical Robotics Technology Center (MRTC)  - Site provides information on MRTC's objectives, research projects and facilities, faculty, staff, and contacts.
• Mercator  - DARPA-funded project dealing with the control and tasking of robots with fundamental sensing, navigation and locomotion capabilities.
• National Robotics Engineering Center (NREC)  - Information on NREC's projects, capabilities, partners, and programs. With media galleries.
• Phoenix Project  - Research initiative exploring the direct implementation of programs in reconfigurable hardware.
• Social Robots Project  - R&D project established to overcome the "human-robot social barrier." Aims to enhance artificial intelligence and "sociability" among robots.
• Software Engineering Institute (SEI)  - Information on SEI's areas of work, research collaborations, products, services, and education programs.
• Specification and Verification Center  - School of Computer Science facility aims to invent new mathematically-based techniques, languages, and tools to model the behavior of systems.
• The Triple Project  - Research endeavor focusing on type refinement in programming languages. Aims to develop a type-theoretic framework for type refinements.
• The Twelf Project  - National Science Foundation funded project dealing with the design, implementation, and application of logical frameworks.
• Usable Privacy and Security Laboratory  - Dedicated to better comprehending and improving the usability of privacy and security software and systems.
• Vision and Autonomous Systems Center (VASC)  - Posts VASC news, events information, project details, contacts, and pertinent resources.