CSD's mission @ Carnegie Mellon is to lead in computer science research & education, pushing the frontiers of the field, resulting in real world impact.
Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian den Bill McCune PhD Award 2024. Congratulations 💐
Surreal hearing about all of the disruptions to medical care and transportation today. A modern society needs our hospitals, planes, and trains!
Good reminder of just how much software has come to run our lives—and how beholden we are to even tiny, subtle software bugs.
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-5b492…
I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming@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!
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-l…
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/kather…cadeinc.org/McCune-Award
We have today announced the names of the 2024 Sloan Research Fellows! Congratulations to these 126 outstanding early-career researchers:
sloan.org/fellowships/2024-F…
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-stor…
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/uHBQwzAmBR2GXLv29
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
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/lenore-…
Now, Later, and Lasting: 10 Priorities for AI Research, Policy, and Practice cacm.acm.org/opinion/now-lat…@conitzer and co-authors on shaping the future of AI.