
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.
You might like
.@CyLab faculty and students will present on a wide range of topics at next month’s @NDSSSymposium in San Diego. Learn more about the @CarnegieMellon-affiliated accepted papers: cylab.cmu.edu/news/2025/01/2… #NDSSSymposium2025
Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!

In a @TIME article, Prof. David Brumley (@thedavidbrumley) of @cmu_ece, @CSDatCMU, @MayhemSec shares strategies w/ @becca_schneid that consumers can use to protect themselves from scammers attempting to capitalize on the #CrowdStrike #Microsoft IT outage: time.com/7000925/crowds…
ICYMI: @FOCAL_lab member Emanuel Tewolde presenting on social choice for AI alignment at @icmlconf 2024! icml.cc/virtual/2024/p…
Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐

Need to solve PDEs, and struggle with meshing? Heard about "Walk on Spheres," but didn't know where to start? Check out the awesome intro course by @rohansawhney1 and @baileymmiller1, just posted from #SGP2024: youtube.com/watch?v=1u-5b4…
youtube.com
YouTube
Monte Carlo Geometry Processing (SGP Graduate School 2024)
“Their code is buggy, and it was sitting there as a ticking time bomb.” Professor David Brumley (@thedavidbrumley) of @cmu_ece, @CSDatCMU, and @MayhemSec speaks with @becca_schneid of @TIME about #CrowdStrike’s role in the #Microsoft IT outage: time.com/7000476/micros…
I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming @DanHendrycks. Building upon years of research, we are developing automated assessments of AI systems as well as safer and more secure models. Come check out what we've built!
Today, we're stepping out of stealth mode to introduce Gray Swan AI, your safety and security provider for the AI era. 🌐 Press Release: grayswan.ai/news/gray-swan…

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
Four SCS faculty, @nathanbeckmann, Aaditya Ramdas, @justinesherry and Virginia Smith have been named 2024 Sloan Research Fellows.
We have today announced the names of the 2024 Sloan Research Fellows! Congratulations to these 126 outstanding early-career researchers: sloan.org/fellowships/20…

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…
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

If you are attending PLDI this year (in a month!), and if you have or anticipate an open position, either in academia or industry, full-time or part-time—you can now leverage PLMW to advertise that position. Sign up here for a lightning talk at by June 5: forms.gle/uHBQwzAmBR2GXL…
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

Nice to see @CarnegieMellon on the list of Most Beautiful Colleges in America. :-) architecturaldigest.com/gallery/most-b…

Lenore Blum, a foundational researcher in computer science at @CarnegieMellon and a tireless advocate for women in math and science, has been elected to the American Academy of Arts & Sciences. cs.cmu.edu/news/2024/leno…
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…
Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice cacm.acm.org/opinion/now-la… @conitzer and co-authors on shaping the future of AI.
(1/2) Join us for the 2024 CMU Secure Blockchain Summit! Check out this year's tentative schedule, and sign up to request to attend this free event: bit.ly/cmu-secure-blo… @CyLab @CSDatCMU @CMU_ECE
Prof. @thedavidbrumley of @CMU_ECE and @CSDatCMU will present on Thursday, May 7 at the @RSAConference’s #RSA 2024 on the topic “Steering Clear of Danger: Decrypting the Realities of Remote Car Hacking.” Learn more about Prof. Brumley’s talk and register: rsaconference.com/USA/agenda/ses…
United States Trends
- 1. Lakers 92.4K posts
- 2. Luka 70.3K posts
- 3. Ayton 15.2K posts
- 4. Marcus Smart 8,579 posts
- 5. Steph 33.1K posts
- 6. Warriors 96K posts
- 7. Draymond 8,575 posts
- 8. Rockets 59.1K posts
- 9. Shai 33.9K posts
- 10. #DubNation 13.2K posts
- 11. Froot N/A
- 12. #DWTS 49K posts
- 13. Reaves 9,207 posts
- 14. Double OT 6,720 posts
- 15. Jimmy Butler 9,558 posts
- 16. #LakeShow 6,579 posts
- 17. Sengun 25.6K posts
- 18. Vando 3,075 posts
- 19. #TusksUp 1,112 posts
- 20. Kuminga 10.5K posts
You might like
-
CMU School of Computer Science
@SCSatCMU -
CMU Robotics Institute
@CMU_Robotics -
Carnegie Mellon University
@CarnegieMellon -
MIT EECS
@MITEECS -
Devendra Chaplot
@dchaplot -
ACM SIGMOD
@sigmod -
CMU College of Engineering
@CMUEngineering -
Priya L. Donti
@priyald17 -
Language Technologies Institute | @CarnegieMellon
@LTIatCMU -
Brandon Amos
@brandondamos -
Siebel School of Computing and Data Science
@siebelschool -
Carnegie Mellon ECE
@CMU_ECE -
Computer Science @ The University of Manchester
@csmcr -
Dhruv Batra
@DhruvBatra_ -
CMU Database Group
@CMUDB
Something went wrong.
Something went wrong.