The Caterpillar and Alice looked at each other for some time in silence: at last the Caterpillar took the hookah out of its mouth, and addressed her in a languid, sleepy voice. `Who are you?' said the ...

"We look at people like Jack Pidgeon or the public school teacher who stretched the envelope for 30 years as exceptions, as anachronisms, because only the toughest can make a life of it. And that's ...

I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

Machine Learning is concerned with computer programs that automatically improve their performance through experience (e.g., programs that answer questions, diagnose diseases, recommend music and ...

This paper presents a straightforward algorithm for constructing connections on surfaces that are as smooth as possible everywhere but on a prescribed set of isolated singularities with given index.

Javascript is required for the SCS calendar.

Research My research interests are in computer systems in the networked environment. I have a particular interest in exploring the systems and data structure response to evolving hardware trends near ...

Here are some reference sheets to help you with Assembly and the GDB debugger: ...

Moreover, FP generalizes IP by treating commands as forms of data that may be executed for their effects. Upon completion of this course, students will have acquired a mastery of basic functional ...

Computer systems design is full of conundrums: Given a choice between a single machine with speed s, or n machines each with speed s/n, which should we choose? If both the arrival rate and service ...

Frank Pfenning Personal Home Page Recent Drafts, Talks, and Publications See also Publications (as of November 12, 2025), DBLP, Google Scholar Profile Security Reasoning via Substructural Dependency ...

Course Description In this course we will explore the Fourier analysis of Boolean functions, f : {0,1} n → {0,1}. The powerful techniques from this field have application in numerous areas of computer ...