Pancreatic cancer is a hideous disease; I am doing everything possible to raise awareness and research funding. You can support research into curing pancreatic cancer via the Lustgarten foundation, ...

CMU's Project Olympus and the NSF Innovation Corps Hub Mid-Atlantic Region recently hosted entrepreneurs and researchers in ...

I am the Cadence Design Systems Professor of Computer Science at Carnegie Mellon University. My main research interests are in machine learning, artificial intelligence, theoretical computer science, ...

Javascript is required for the SCS calendar.

With so many AI coding assistants out there, it can be hard to keep track of ones that perform well on real-world tasks. CMU researchers developed Copilot Arena to do just that by crowdsourcing user ...

SCS undergrads Sheng Shu and Hyojae Park have received 2025 Goldwater Scholarships. Sheng Shu, a junior majoring in computer science and also studying chemistry in the Mellon College of Science, and ...

All course announcements, discussion, lecture notes, lecture videos, and homework will be on Diderot. If you are not officially enrolled in the course but want to follow along, send email to ...

Companion to Chapter 4 of the textbook Machine Learning. A neural network learning algorithm called Backpropagation is among the most effective approaches to machine learning when the data includes ...

This is a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

Consider the words "man", "woman", "boy", and "girl". Two of them refer to males, and two to females. Also, two of them refer to adults, and two to children. We can ...

The CMU Navlab group builds computer-controlled vehicles for automated and assisted driving. Since 1984, we have built a series of robot cars, vans, SUVs, and buses. More recent researches of Navlab ...

I am interested in the performance analysis and design of computer systems, particularly distributed systems. I use analytical models to capture the important characteristics of a computer system, and ...