Pittsburgh, Pennsylvania
Carnegie Mellon University
CMU is where robotics became an engineering discipline rather than a demo: navigation, manipulation and autonomy with error bars attached.
Key findings
- 1968
Heuristic search and the Logic Theorist lineage
Newell, Simon and successors
The Logic Theorist (1956) proved theorems from Principia Mathematica; the search tradition it started produced the planners robots still run.
Why it matters here · Every motion planner and agent task-decomposition loop in the catalog is a descendant of this search tradition.
- 1986 – 1995
Navlab and ALVINN — the first neural self-driving
Chuck Thorpe, Dean Pomerleau, Todd Jochem
ALVINN trained a small neural network to steer from camera input in 1989; in 1995 'No Hands Across America' drove 2,797 of 2,849 miles autonomously steered.
Why it matters here · End-to-end learned steering — the approach Tesla FSD returned to three decades later — was demonstrated at CMU first.
98.2% autonomous, coast to coast, 1995 - 1987
Capability Maturity Model
Watts Humphrey, SEI
A five-level staged model for assessing software process maturity.
Why it matters here · The template for every AI-maturity and AI-assurance framework enterprises are now using to gate adoption.
- 2007
Boss wins the DARPA Urban Challenge
Red Whittaker, Chris Urmson and team
An autonomous Chevy Tahoe completed a 60-mile urban course with traffic, merges and intersections.
Why it matters here · Its team leadership went on to found or lead Waymo, Aurora, Argo and Uber ATG — the entire AV industry traces to this team.
- 2017
Libratus beats poker pros
Tuomas Sandholm and Noam Brown
Defeated top heads-up no-limit hold'em professionals in an imperfect-information game.
Why it matters here · The search-at-inference-time idea proven here is the direct ancestor of today's reasoning models that spend more compute per answer.
- 2024
Agent evaluation environments
CMU NeuLab and collaborators
Executable, containerised task suites where an agent must actually change a repo or complete a web workflow to score.
Why it matters here · The scoring regime coding-agent vendors in the tracker now quote as their headline number.
On the history timeline
Milestones on the 1943 → today timeline credited to this institution.
- 1980Expert systems go commercial (XCON, MYCIN)John McDermott, Edward Shortliffe et al.Symbolic era & the winters
- 1986Learning representations by back-propagating errorsDavid Rumelhart, Geoffrey Hinton & Ronald WilliamsConnectionist revival
What to follow
The Robotics Institute
Research lab · Continuous
Founded 1979 — the oldest and largest robotics research organisation in the world.
Software Engineering Institute (SEI)
Research lab · Continuous
FFRDC publishing practical guidance on AI engineering, assurance and secure supply chains.
Block Center for Technology and Society
Program · Reports + briefs
Evidence on how AI and automation actually change work — a counterweight to vendor productivity claims.
CyLab Security and Privacy Institute
Research lab · Continuous
AI system security, formal methods and post-quantum readiness.
How to cite this page
Free to cite and reuse under CC BY 4.0. Permalink: https://tomorrow.aliensquad.ai/academia/cmu
Tomorrow. (2026). Carnegie Mellon University — key findings and research feeds [Research tracker entry]. AlienSquad. Retrieved 2026-09-17, from https://tomorrow.aliensquad.ai/academia/cmu
@misc{tomorrow-academia-cmu,
author = {{Tomorrow}},
title = {Carnegie Mellon University — key findings and research feeds},
year = {2026},
publisher = {AlienSquad},
howpublished = {\url{https://tomorrow.aliensquad.ai/academia/cmu}},
note = {Accessed: 2026-09-17}
}