Four SCS faculty, Nathan Beckmann, Aaditya Ramdas, billions of packets and Virginia Smith have been named 2024 Sloan Research Fellows.

(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 CMU Computer Science Department Carnegie Mellon ECE

Prof. David Brumley of Carnegie Mellon ECE and CMU Computer Science Department 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…

Lenore Blum, a foundational researcher in computer science at Carnegie Mellon University 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…

Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice cacm.acm.org/opinion/now-la… Vincent Conitzer and co-authors on shaping the future of AI.

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…

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

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

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

Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐

I'm extremely excited to launch Gray Swan with Matt Fredrikson, Andy Zou Dan Hendrycks. 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!

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 Rohan Sawhney and @baileymmiller1, just posted from #SGP2024: youtube.com/watch?v=1u-5b4…

“Their code is buggy, and it was sitting there as a ticking time bomb.” Professor David Brumley (David Brumley) of Carnegie Mellon ECE, CMU Computer Science Department, and Mayhem speaks with rebecca schneid of TIME about #CrowdStrike’s role in the #Microsoft IT outage: time.com/7000476/micros…

In a TIME article, Prof. David Brumley (David Brumley) of @cmu_ece, CMU Computer Science Department, Mayhem shares strategies w/ rebecca schneid that consumers can use to protect themselves from scammers attempting to capitalize on the #CrowdStrike #Microsoft IT outage: time.com/7000925/crowds…

ICYMI: Foundations of Cooperative AI Lab (FOCAL) at CMU member Emanuel Tewolde presenting on social choice for AI alignment at ICML Conference 2024! icml.cc/virtual/2024/p…

Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!

.CyLab faculty and students will present on a wide range of topics at next month’s NDSS Symposium in San Diego. Learn more about the Carnegie Mellon University-affiliated accepted papers: cylab.cmu.edu/news/2025/01/2… #NDSSSymposium2025