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

Phil Gibbons is a Professor in the Computer Science Department and the Electrical & Computer Engineering Department at Carnegie Mellon University. He received his Ph.D. in Computer Science from the ...

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

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

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

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

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

I am a research scientist at Google Brain.