A broad survey of the computer science discipline, focusing on the computer's role in representing, storing, manipulating, organizing and communicating information. Topics include hardware, software, ...

Beginning this fall, Yale students will no longer be able to waive a prerequisite course for “Data Systems and Programming Techniques,” or CPSC 2230, via an exam. Instead, all students wishing to take ...

This course has four purposes: (1) to learn about the hierarchy of abstractions and implementations that comprise a modern computer system; (2) to demystify the machine and the tools that we use to ...

This course presents an introduction to type systems. We will study the formal foundations of type systems, exploring how they are specified and what properties hold for them. This is a course aimed ...