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

CMU Computer Science Department
@CSDatCMU
2024年8月26日
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
2024年5月28日
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
2024年5月21日
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
2024年5月21日
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
2024年5月20日
Nice to see @CarnegieMellon on the list of Most Beautiful Colleges in America. :-) architecturaldigest.com/gallery/most-b…
CMU Computer Science Department
@CSDatCMU
2024年5月10日
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

CMU Computer Science Department

CMU Computer Science Departmentさんのポスト