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 ResearchCSD PhD Blog Artificial Intelligence Graphics Programming Languages Security Systems Theory Upcoming CSD Events All CSD Events Dec 6 3PM - 4:30pm AI Institute for Societal Decision Making Seminar - Alex London ALEX LONDON When AI Can No Longer Help: Agency Transfer Agreements for Assistive AI Systems In Person and Virtual - ET Gates Hillman 8102 and Zoom Dec 6 3:30pm - 4:30pm brAIn Seminar - David Lipshutz DAVID LIPSHUTZ Comparing image representations in terms of their local geometry In Person and Virtual - ET Baker Hall 340A and Zoom Dec 6 4PM - 5PM Frontiers of Mathematical Sciences Colloquium - Kevin Mark Buzzard KEVIN MARK BUZZARD Will computers prove theorems? In Person Learning Hall, Doherty Hall A302 All CSD NewsLatest News December 5, 2024 Accessing Recipe Information Without Looking November 18, 2024 Enabling Developers to Write Provably Correct Software November 14, 2024 Watermarked LLMs Offer Benefits, but Leading Strategies Come With Tradeoffs
Dec 6 3PM - 4:30pm AI Institute for Societal Decision Making Seminar - Alex London ALEX LONDON When AI Can No Longer Help: Agency Transfer Agreements for Assistive AI Systems In Person and Virtual - ET Gates Hillman 8102 and Zoom
Dec 6 3:30pm - 4:30pm brAIn Seminar - David Lipshutz DAVID LIPSHUTZ Comparing image representations in terms of their local geometry In Person and Virtual - ET Baker Hall 340A and Zoom
Dec 6 4PM - 5PM Frontiers of Mathematical Sciences Colloquium - Kevin Mark Buzzard KEVIN MARK BUZZARD Will computers prove theorems? In Person Learning Hall, Doherty Hall A302