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

The department offers a variety of introductory courses that are appropriate for students of all backgrounds. Most students interested in Computer Science start with one of the following courses, all ...

Start working toward program admission and requirements right away. Work you complete in the non-credit experience will transfer to the for-credit experience when you ...

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