CMU Computer Science Department
@CSDatCMU
Followers
8K
Following
5K
Media
144
Statuses
4K
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
Joined June 2015
RT @CyLab: .@CyLab faculty and students will present on a wide range of topics at next month’s @NDSSSymposium in San Diego. Learn more abou….
cylab.cmu.edu
Carnegie Mellon faculty and students will present on a wide range of topics at the 32nd Annual Network and Distributed System Security (NDSS) Symposium. Held at Wyndham San Diego Bayside from...
0
1
0
Welcome to all our new and returning students. Hope it was a great 1st day back to classes for F24!
1
0
4
RT @CyLab: In a @TIME article, Prof. David Brumley (@thedavidbrumley) of @cmu_ece, @CSDatCMU, @MayhemSec shares strategies w/ @becca_schnei….
time.com
Here is how you can protect yourself from scammers who are capitalizing on the CrowdStrike Microsoft IT outage.
0
3
0
RT @conitzer: ICYMI: @FOCAL_lab member Emanuel Tewolde presenting on social choice for AI alignment at @icmlconf 2024! .
0
3
0
RT @KITinformatik: Für ihren Dissertation zur formal verifizierten Quantorenelimination bei Prof. André Platzer erhielt Katherine Kosaian….
0
2
0
RT @keenanisalive: Need to solve PDEs, and struggle with meshing?. Heard about "Walk on Spheres," but didn't know where to start?. Check ou….
0
59
0
RT @CyLab: “Their code is buggy, and it was sitting there as a ticking time bomb.”. Professor David Brumley (@thedavidbrumley) of @cmu_ece,….
time.com
Cybersecurity technology company CrowdStrike has apologized for the update that caused a major Microsoft IT outage.
0
2
0
RT @zicokolter: I'm extremely excited to launch Gray Swan with Matt Fredrikson, @andyzou_jiaming @DanHendrycks. Building upon years of res….
0
22
0
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
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....
0
0
4
RT @SCSatCMU: Four SCS faculty, @nathanbeckmann, Aaditya Ramdas, @justinesherry and Virginia Smith have been named 2024 Sloan Research Fell….
0
3
0
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
Gordon Bell (H'10) took risks throughout his career and computer science is better because of it By Meghan Holohan
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
0
1
0
RT @PLDI: If you are attending PLDI this year (in a month!), and if you have or anticipate an open position, either in academia or industry….
docs.google.com
The event is on June 24th. Please refer to https://pldi24.sigplan.org/track/PLMW-PLDI-2024?#program for more details on the program.
0
4
0
RT @TheOfficialACM: We are sad to hear of the passing of Gordon Bell, a pioneer in high-performance and parallel computing and the visionar….
0
63
0
RT @SCSatCMU: Lenore Blum, a foundational researcher in computer science at @CarnegieMellon and a tireless advocate for women in math and s….
cs.cmu.edu
Lenore Blum, a foundational researcher in computer science at CMU and a tireless advocate for women in math and science, has been elected to the American Academy of Arts & Sciences.
0
2
0
Congratulations to all of our 2024 graduates! 🎓🥳 🎉. SCS Commencement Schedule. Shuttle Schedules:. CMU Commencement Schedule.
cmu.edu
Schedule
0
1
2
RT @ElaineRShi: (1/2) Join us for the 2024 CMU Secure Blockchain Summit! Check out this year's tentative schedule, and sign up to request t….
0
4
0
RT @CyLab: Prof. @thedavidbrumley of @CMU_ECE and @CSDatCMU will present on Thursday, May 7 at the @RSAConference’s #RSA 2024 on the topic….
rsaconference.com
0
1
0