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 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 currently the chair of CATCS . Please check it out - we welcome any suggestions. I was the PC chair of SODA, 2024 . The accepted papers are here. An alternative talk schedule format is here. A ...

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 also receive a broad overview of ...

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

@article{Sawhney:2020:MCG, author = {Sawhney, Rohan and Crane, Keenan}, title = {Monte Carlo Geometry Processing: A Grid-Free Approach to PDE-Based Methods on ...

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

This page is an index into various Festival synthesis demos and subprojects.

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

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