- 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.
- ATLAS
- Agent Transaction Language for Advertising Services - a development project of the software agents group of Carnegie Mellon's Robotics Institute.
- 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.
- Data Privacy Lab
- Carnegie Mellon's Laboratory for International Data Privacy. Aims to create technologies and related policies that enhance privacy protection.
- 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.
|