`Here!' cried Alice, quite forgetting in the flurry of the moment how large she had grown in the last few minutes, and she jumped up in such a hurry that she tipped over the jury-box with the edge of ...

I am an assistant professor of computer science at New York University. I am recruiting PhD students—if you are interested in working on parallel programming languages, compilers and run-time systems, ...

Planning is one of the core components that enable robots to be autonomous. Robot planning is responsible for deciding in real-time what the robot should do next, how to do it, where the robot should ...

High-profile bugs continue to plague the software industry, leading to major problems in the reliability, safety, and security of systems. This course teaches students how to write bug-free code ...

18-742 is a PhD course in computer architecture and systems. The learning objectives are: To understand the state of the art in computer architecture, and how and why we got there. To understand how ...

Welcome to the Fall 2025 edition of 15-412, Operating System Practicum. Readings page [Last modified Friday January 10, 2025] ...

Notes to CS:APP2e instructors: ...

RuleML+RR 2020, International Joint Conference on Rules and Reasoning – PC member Oslo, Norway, 29 June - 1 July 2020 (6 March 2020) RuleML+RR 2019, International Joint Conference on Rules and ...

Artificial Intelligence and its applications, especially knowledge representation and reasoning, planning, natural language understanding and generation. Machine learning, including knowledge-based ...

There was a table set out under a tree in front of the house, and the March Hare and the Hatter were having tea at it: a Dormouse was sitting between them, fast asleep, and the other two were using it ...

Algorithms 15-451/651, Spring 2015 Competition Programming 15-295, Spring 2015 Algorithms 15-451/651, Fall 2014 (Gap to be filled in, including 251, 451, 210, 295) Competition Programming, Spring 2011 ...

Although in a slightly different ordering than the videos, these notes (in particular, Sections 1-3), cover the material that is covered in this course. Section 4 covers additonal topics in matrix ...