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.

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

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

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

I'm an Assistant Teaching Professor in the Computer Science and Machine Learning departments here at CMU. As teaching faculty, I get to pour my heart and soul into courses, curriculum, and improving ...

R Murray, Z Li and S Sastry, CRC 1994. [SSVO] Robotics: Modeling, Planning and Control B Siciliano, L Sciavicco, L Villani and G Oriolo, Springer 2009. [M] Applied Dynamics F Moon, Wiley-VCH 1998. [AM ...

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

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

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.

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

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