Current Position: Fredkin Professor of Computer Science.

Job and intern opportunities are available at R&D Center Singapore, Alibaba DAMO Academy. Job descriptions: NLP Engineer/Researcher, and MT Engineer/Researcher. Send your CV to l.bing [at] alibaba-inc ...

The ICS course provides a programmer's view of how computer systems execute programs, store information, and communicate. It enables students to become more effective programmers, especially in ...

Note: "Margery" is a fictionalized character whose story combines Wakefield's own experiences with those of other Scientologists. Testimony is her factual autobiography.

All course announcements, discussion, lecture notes, lecture videos, and homework will be on Diderot. If you are not officially enrolled in the course but want to follow along, send email to ...

Professor of Computer Science, Department of Computer Science, Columbia University Consulting Professor of Computer Science, Computer Science Department, Carnegie Mellon University ...

Random Things Dave's guide to Running in Pittsburgh - I have a bit of a running problem, so I put together a list of nice runs in the area. My list and map of running routes in Boston The Usable Mac - ...

This is a graduate research seminar on Homotopy Type Theory (HoTT), a recent enrichment of Intuitionistic Type Theory (ITT) to include "higher-dimensional" types. The dimensionality of a type refers ...

Consider the words "man", "woman", "boy", and "girl". Two of them refer to males, and two to females. Also, two of them refer to adults, and two to children. We can ...

Practical implementations of computational theories of speech and language Making computer speech synthesis as natural, flexible, and efficient as human speech.

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

Thread operations include thread creation, termination, synchronization (joins,blocking), scheduling, data management and process interaction. A thread does not maintain a list of created threads, nor ...