CMU Computer Science Department

@CSDatCMU

CSD's mission @ Carnegie Mellon is to lead in computer science research & education, pushing the frontiers of the field, resulting in real world impact.

Pittsburgh, PA

csd.cs.cmu.edu

Replies Reposts Media

CMU Computer Science Department
@CSDatCMU
Aug 26, 2024
Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!
1
CMU Computer Science Department
@CSDatCMU
May 28, 2024
Congratulations to CSD PhD graduate Katherine Kosaian who has received the Conference on Automated Deduction (CADE) Bill McCune PhD Award for her dissertation “Formally Verifying Algorithms for Real Quantifier Elimination”. 🥳 sites.google.com/view/katherine… cadeinc.org/McCune-Award
sites.google.com
Katherine Kosaian
As of Fall 2024, I am an assistant professor in the Department of Computer Science at the University of Iowa, where I lead the Formal MATHods lab. I am part of the Computational Logic Center....
CMU Computer Science Department
@CSDatCMU
May 21, 2024
We too are sad to learn of the death of one of our earliest Computer Science faculty and send our condolences to the family and friends of Gordon Bell. cs.cmu.edu/link/feature-s…
Association for Computing Machinery
@TheOfficialACM
May 21, 2024
We are sad to hear of the passing of Gordon Bell, a pioneer in high-performance and parallel computing and the visionary behind the ACM Gordon Bell Prize. His dedication to innovation inspired countless breakthroughs. Our deepest condolences to his loved ones. #InMemoriam #HPC
CMU Computer Science Department
@CSDatCMU
May 20, 2024
Nice to see @CarnegieMellon on the list of Most Beautiful Colleges in America. :-) architecturaldigest.com/gallery/most-b…
CMU Computer Science Department
@CSDatCMU
May 10, 2024
Congratulations to all of our 2024 graduates! 🎓🥳 🎉 SCS Commencement Schedule cs.cmu.edu/commencement/ Shuttle Schedules: cmu.edu/transportation… CMU Commencement Schedule cmu.edu/commencement/s…
cs.cmu.edu
SCS Commencement