Home Educating the next generation’s leaders and pushing the frontiers of the field of computer science through research that has lasting 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 More CSD Events Nov 19 12PM - 1PM Joint Theory Lunch Seminar / Doctoral Speaking Skills Talk - Henry Fleischmann HENRY FLEISCHMANN Directed Expander Decompositions: a Gardener's Guide In Person Gates Hillman 8102 Add event to Google Add event to iCal Nov 20 9AM - 10:30am Doctoral Thesis Proposal - Cayden Codel CAYDEN CODEL Building a Verified SAT Toolchain in Trestle In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal Nov 20 11:30am - 1PM Doctoral Thesis Oral Defense - Joseph Reeves JOSEPH REEVES Cardinality Constraints in Boolean Satisfiability Solving In Person and Virtual - ET ASA Conference Room, Gates Hillman 6115 and Zoom Add event to Google Add event to iCal Latest News CSD Alumnus Receives ACM SIGOPS Dissertation Award Tactile Tool Simplifies Neural Networks for Kids CMU, Accenture Advance AI in Workforce Training Fredrikson Receives Test of Time Award 10 CMU Students Selected for Amazon AI Ph.D. Fellowship Program
Nov 19 12PM - 1PM Joint Theory Lunch Seminar / Doctoral Speaking Skills Talk - Henry Fleischmann HENRY FLEISCHMANN Directed Expander Decompositions: a Gardener's Guide In Person Gates Hillman 8102 Add event to Google Add event to iCal
Nov 20 9AM - 10:30am Doctoral Thesis Proposal - Cayden Codel CAYDEN CODEL Building a Verified SAT Toolchain in Trestle In Person and Virtual - ET Gates Hillman 8102 and Zoom Add event to Google Add event to iCal
Nov 20 11:30am - 1PM Doctoral Thesis Oral Defense - Joseph Reeves JOSEPH REEVES Cardinality Constraints in Boolean Satisfiability Solving In Person and Virtual - ET ASA Conference Room, Gates Hillman 6115 and Zoom Add event to Google Add event to iCal