I am a research scientist at Google Brain.

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

Designing Deep Networks for Surface Normal Estimation. Conference on Computer Vision and Pattern Recognition (CVPR), 2015. [pdf] [BibTeX] [results for NYU Depth V2] [code and models] [project page] ...

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.

15-451/651 is an advanced undergraduate/masters algorithms class. We cover fundamental algorithmic modeling techniques (e.g. dynamic programming, graphs, network flows, linear programming), advanced ...

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