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

During the invocation of a function represented by a lambda-expression (or a closure of a lambda-expression, as produced by function), new bindings are established for the variables that are the ...

Pseudorandom permutations from random reversible circuits W. Gay, W. He, N. Kocurek, R. O'Donnell Manuscript Quartic quantum speedups for planted inference Alexander Schmidhuber, R. O'Donnell, R.

Amsterdam Library of Object Images - ALOI is a color image collection of one-thousand small objects, recorded for scientific purposes. In order to capture the sensory variation in object recordings, ...

15-110: Principles of Computing An introductory computer science course for students with little to no computing experience. Students will learn the core elements of programming in Python and will ...

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

Current Projects The Intel Center for Science and Technology (ISTC) for Visual Cloud Computing - enabling large-scale machine learning on video streams Using RDMA in Internet datacenters, capped by ...

This is Graham Neubig 's lab at the Language Technologies Institute of Carnegie Mellon University. We do research on natural language processing and machine learning, specifically machine translation, ...

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

We can also represent word analogies graphically. For the relationship of "man" to "king" we draw an arrow from "man" to "king". Next we copy this arrow, keeping the same direction and length, but now ...

Navlab: The Carnegie Mellon University Navigation Laboratory The CMU Navlab group builds computer-controlled vehicles for automated and assisted driving. Since 1984, we have built a series of robot ...

I am Professor with the Robotics Institute and National Robotics Engineering Center (NREC), both part of School of Computer Science, Carnegie Mellon University. I'm also a co-founder of TravelWits.com ...