The highly-customizable Hugo Academic theme powered by Hugo Blox Builder. Easily create your personal academic website.

Ryan O'Donnell Professor Theory Group, Computer Science Dept., CMU 7213 Gates Hillman Center Administrative Assistant: Emi Perdan Analysis of Boolean Functions book Free PDF download Buy a copy from ...

Selected Articles: Scientific Progress in Artificial Intelligence: History, Status, and Futures, E. Horvitz and T. Mitchell, in: Kathleen Hall Jamieson, Anne-Marie Mazza, and William Kearney (Eds.) ...

Research Professor, Robotics Director, Intelligent Coordination and Logistics Laboratory The Robotics Institute Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213 Email: ...

Hi! My name is Satya. That's short for "Satyanarayanan". I'm a faculty member in the School of Computer Science at Carnegie Mellon University. As an experimental computer scientist, I design, ...

Type theory arose as a codification of Brouwer's program of intuitionism, which sought to develop a foundation for mathematics based on the idea of an effective construction, which we would today call ...