I am looking for new students. My current research focus is enabling robots to learn strategies (tricks, hacks) to do tasks from direct instruction, googling and using the web, observation, and ...

You will be doing your Intro to Computer Systems (ICS) lab assignments on a cluster of rack-mounted Intel Nehalem-based servers called the shark machines. This cluster was donated by the Intel Labs ...

Frank Pfenning Personal Home PageSubstructural Type Systems Tutorial at POPL 2025 (introductory AI-generated podcast) (live code) Adjoint Natural Deduction (Extended Version) Junyoung Jang, Sophia ...

This data set contains WWW-pages collected from computer science departments of various universities in January 1997 by the World Wide Knowledge Base (Web->Kb) project of the CMU text learning group.

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

What about ChatGPT and related large AI Systems? How will they impact us all? As a longtime researcher in AI, I'm excited about the ways in which these new AI systems can improve our healthcare, ...

This course provides a comprehensive introduction to computer vision. Major topics include image processing, detection and recognition, geometry-based and physics-based vision and video analysis.

Because of the many requests for this material, we are pleased to make available an online version of some of our printed lecture notes on ``An Introduction to ...

This page links to the individual websites for various instances of this course. Fall 2025 Taught by Daniel Anderson and Danny Sleator Spring 2025 Taught by Daniel Anderson and David Woodruff Fall ...

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

MLD Ph.D. student Aakash Lahoti has been named a 2025-2026 Jump Trading Fellow for his work on building efficient, effective sequence-to-sequence models that can handle very long inputs.

This paper presents a method for constructing smooth unit n-direction fields (line fields, cross fields, etc.) on surfaces that is an order of magnitude faster than state-of-the-art methods, while ...