Carnegie Mellon’s School of Computer Science is widely recognized as one of the first and best computer science programs in the world. Our programs train the next generation of innovators to solve ...

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

Hi! My name is Satya. That's short for "Satyanarayanan". I'm a faculty member in the School of Computer Science at Carnegie Mellon University. As an experimental computer scientist, I design, ...

Your class project is an opportunity for you to explore an interesting machine learning problem of your choice in the context of a real-world data set. Below, you will find some project ideas, but the ...

For parallel programming in C++, we use a library, called PASL, that we have been developing over the past 5 years. The implementation of the library uses advanced scheduling techniques to run ...

It was not until the next Friday that Marilla heard the story of the flower-wreathed hat. She came home from Mrs. Lynde's and called Anne to account. "Anne, Mrs. Rachel says you went to church last ...

From smart phones, to multi-core CPUs and GPUs, to the world's largest supercomputers, parallel processing is ubiquitous in modern computing. The goal of this course is to provide a deep understanding ...

The face detector in this demonstration is a deep convolutional neural network. It's "deep" because it has many layers. It's "convolutional" because it applies a collection of templates called ...

Describe the definition of (Boolean) Satisfiability Problem (SAT). Describe conjunctive normal form (CNF). Understand the algorithm DPLL for solving SAT problems. Describe and create a Successor-State ...

This course provides a broad and pragmatic foundation in the most basic tool of the programmer: programming languages. It starts with the fundamentals of syntax, parsing, and binding, the core ...

The roarings that had stretched in a long line of sound across the face of the forest began to grow intermittent and weaker. The stentorian speeches of the artillery continued in some distant ...

Symbolic logic is fundamental to computer science, providing a foundation for the theory of programming languages, the theory of databases, AI, knowledge representation, automated reasoning, and ...