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.

Exercises: short (1-3 problem) Gradescope online assessments released with each lecture. Assesses whether the student has introductory knowledge of the lecture's content (have you started learning the ...

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

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

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

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

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

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

I am a research scientist at Google Brain.

I am currently working at Snowflake as a Postdoctoral Research Fellow. I will join Tsinghua IIIS as an Assistant Professor in Spring 2021. I received my Ph.D. degree from the Computer Science ...