SCS undergrads Sheng Shu and Hyojae Park have received 2025 Goldwater Scholarships. Sheng Shu, a junior majoring in computer science and also studying chemistry in the Mellon College of Science, and ...

Javascript is required for the SCS calendar.

I consider new PhD students every year. All PhD admissions in the School of Computer Science at Carnegie Mellon are done through a centralized admissions committee. Matching to specific labs and ...

The logical operations in this section require integers as arguments; it is an error to supply a non-integer as an argument. The functions all treat integers as if ...

File systems provide an abstraction, both to the user of a computer system and to the programmer. They present a uniform hierarchical view of data, even though this data may actually be spread across ...

Reasoning About the Consequences of Authorization Policies in a Linear Epistemic Logic - Henry DeYoung and Frank Pfenning. Workshop on Foundations of Computer Security, FCS 2009. Session-Typed Ordered ...

Up-to-date SCS course listings and descriptions are available on the CMU Schedule of Classes website. You can also learn more about academic requirements in the SCS Course Catalog.

A technical introduction to the fundamentals of programming with an emphasis on producing clear, robust, and reasonably efficient code using top-down design, informal analysis, and effective testing ...

Course Description: The objective of this course is to study general computational problems, with a focus on the principles used to design those algorithms. Efficient data structures will be discussed ...

[41] H.-S. Shin, J. Ryu, C. Majidi, and Y.-L. Park, "Enhanced Performance of Microfluidic Soft Pressure Sensors with Embedded Solid Microspheres," Journal of ...

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

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