BSAI junior Daisy Sheng has received the 2025 Scott Robert Krulcik Scholarship in Computer Science. Before she'd even graduated from her Ottawa high school, Daisy Sheng had influenced the lives of ...

Javascript is required for the SCS calendar.

This book, with minor revisions, is back in print from Dover Publications and can be purchased in paperback form at Amazon.com, Barnes & Noble, etc. An e-book version will be released in late February ...

You can hear about BoLT in recent podcast episode of All About Blockchain. A transparent, reputation-based market in exchangeable credit allows people to support businesses in their communities at low ...

We postpone further discussion of equality in order to introduce techniques for subsumption. Subsumption is extremely important in saturation based theorem provers in order to control the size of the ...

Join Us August 4 - 8, 2025! Carnegie Mellon University is hosting the 4th Annual Crash Course in AI. Join us for a one-week workshop to learn about Artificial Intelligence, create activities and ...

The class notes provide additional reading material. They complement, but do not replace the lecture. The schedule is subject to change throughout the semester.

Can I do an internship in your lab? Generally speaking, CS research groups in the US don't have official "internship" positions, though we do sometimes support informal short-term visits (e.g., for a ...

Logic minimization is an important problem in the design of computer hardware. The amount of logic required to implement certain functions (such as instruction decode hardware) can be large unless the ...

Description In this Special Topics course, we will expand on the topics of 15-112, covering intermediate applied Python programming constructs and practices such as intermediate collections (deques, ...

Exam 1 will cover lectures 1-14 (i.e. up to and including Snooping Based Multiprocessor Design). Exam 2 will cover lectures 15-27 (i.e. Prefetching through Parallelism in Database Management Systems).