Home Educating the next generation’s leaders and pushing the frontiers of the field of computer science through research that has real-world impact. Academics Bachelor's Programs The Computer Science Department admits students to an undergraduate program that you are guaranteed to find rigorous and dedicated to the real-world training and practical problem solving that has been the hallmark of computer science education at CMU since its inception. See the Programs Admissions Info Master's Programs We offer three distinct master’s options for students who have completed (or will complete) a bachelor’s degree and want to extend their training in computer science. Our largest program is the M.S. in Computer Science, which allows students to work with their academic advisor to create their own course of study. See the Programs Admissions Info Doctoral Programs Carnegie Mellon's Ph.D. in Computer Science is, above all, a research degree. We certify that our students have a broad foundation and awareness of core concepts in computer science, have advanced the field by performing significant original research and have reported that work in a scholarly fashion. See the Programs Admissions Info CSD Research Areas Research in the Computer Science Department is sustained by the strong foundations of our history. Building on that groundwork we are fearless in pushing the frontiers of our field and acting quickly to pursue new directions. Faculty and Undergraduate Research CSD PhD Blog Artificial Intelligence Graphics Programming Languages Security Systems Theory Upcoming CSD Events All CSD Events Nov 21 12PM - 1PM Crypto Seminar - John Kolesar JOHN KOLESAR Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence In Person and Virtual - ET Blelloch-Skees Conference Room, Gates Hillman 8115 and Zoom Add event to Google Add event to iCal Nov 21 1PM SCS Faculty Candidate - Babu Pillai BABU PILLAI Out-of-the-Box Thinking in Systems Design and Implementation In Person and Virtual - ET Newell-Simon 4305 and Zoom Add event to Google Add event to iCal Nov 21 3PM - 4PM ACO Seminar - Anton Dochtermann ANTON DOCHTERMANN Parking functions and h-vectors of matroids In Person Wean Hall 8220 Add event to Google Add event to iCal All CSD NewsLatest News November 18, 2024 Enabling Developers to Write Provably Correct Software November 14, 2024 Watermarked LLMs Offer Benefits, but Leading Strategies Come With Tradeoffs November 11, 2024 Two SCS Professors Receive Samsung Researcher of the Year Awards
Nov 21 12PM - 1PM Crypto Seminar - John Kolesar JOHN KOLESAR Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence In Person and Virtual - ET Blelloch-Skees Conference Room, Gates Hillman 8115 and Zoom Add event to Google Add event to iCal
Nov 21 1PM SCS Faculty Candidate - Babu Pillai BABU PILLAI Out-of-the-Box Thinking in Systems Design and Implementation In Person and Virtual - ET Newell-Simon 4305 and Zoom Add event to Google Add event to iCal
Nov 21 3PM - 4PM ACO Seminar - Anton Dochtermann ANTON DOCHTERMANN Parking functions and h-vectors of matroids In Person Wean Hall 8220 Add event to Google Add event to iCal
