CMU researchers have identified a region in the brain's visual cortex that responds to food and have developed a theoretical framework that could explain the origins of this selectivity.

SCS faculty members Zhihao Jia and Deepak Pathak have received 2025 Sloan Research Fellowships. Two faculty members in Carnegie Mellon University's School of Computer Science will receive Sloan ...

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

The handout Automated Theorem Proving contains a complete set of notes as of the indicated date. This includes all incremental handouts with possible corrections and updates. Note that I do not ...

The exact topics of the lectures are subject to change. We do not anticipate changing any of the other dates (exams, assignments, etc.) To watch the lecture videos, sign in to YouTube using your ...

SCS faculty recently traveled to Paris to participate in international gatherings of experts addressing the future of artificial intelligence ahead of the AI Action Summit.

To free wearable tech from the burden of batteries, SCS researchers developed Power-Over-Skin, which allows electricity to travel through the human body and could one day power battery-free devices ...

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

This is a guide to editing and executing Standard ML (SML) programs at Carnegie Mellon University, using the Standard ML of New Jersey system. This document was written by Peter Lee (petel@cs.cmu.edu) ...

D. Baraff and A. Witkin. Large Steps in Cloth Simulation. Computer Graphics Proceedings, Annual Conference Series: 43-54, 1998 Adobe Acrobat (PDF) (12 pages, 255K). D. Baraff. Linear-time dynamics ...

A technical introduction to the fundamentals of programming with an emphasis on producing clear, robust, and reasonably efficient code using top-down design, informal analysis, and effective testing ...

For office hours of the TAs and Zoom links, please check Piazza.