Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!
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.
804 Following 8.1K Followers 3.6K Posts
Latest posts 5
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/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.... 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…
cs.cmu.edu/link/feature-s…
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 #HPCView quoted post on X
Nice to see @CarnegieMellon on the list of Most Beautiful Colleges in America. :-)
architecturaldigest.com/gallery/most-b…
architecturaldigest.com/gallery/most-b…
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…
www.cs.cmu.edu SCS Commencement SCS Commencement Schedule
cs.cmu.edu/commencement/
Shuttle Schedules:
cmu.edu/transportation…
CMU Commencement Schedule
cmu.edu/commencement/s…