Javascript is required for the SCS calendar.

I consider new PhD students every year. All PhD admissions in the School of Computer Science at Carnegie Mellon are done through a centralized admissions committee. Matching to specific labs and ...

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 ...

The logical operations in this section require integers as arguments; it is an error to supply a non-integer as an argument. The functions all treat integers as if ...

BSAI junior Daisy Sheng has received the 2025 Scott Robert Krulcik Scholarship in Computer Science. Before she'd even graduated from her Ottawa high school, Daisy Sheng had influenced the lives of ...

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 ...

The advent of large-scale training has produced a cornucopia of powerful visual recognition models. However, generative models, such as GANs, have traditionally been trained from scratch in an ...

Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.

`Here!' cried Alice, quite forgetting in the flurry of the moment how large she had grown in the last few minutes, and she jumped up in such a hurry that she tipped over the jury-box with the edge of ...

It is at the core of artificial intelligence and machine learning, where one often needs to make decisions under stochastic uncertainty. It is also integral to computer science theory, where ...