CMU Software & Societal Systems (S3D)
@cmus3d.bsky.social
At Carnegie Mellon University's Software and Societal Systems Department (S3D), we solve big, complex challenges at the critical intersection of technology and society.
Read how they're pioneering resilient computing at society's frontier: s3d.cmu.edu/news/2025/07...
What critical system do YOU rely on that can't afford to fail?
#SoftwareEngineering #CMU #SystemsThinking #NSF
What critical system do YOU rely on that can't afford to fail?
#SoftwareEngineering #CMU #SystemsThinking #NSF
CMU Ph.D. Student Andy Hammer Earns Prestigious 2025 NSF Graduate Research Fellowship - Software and Societal Systems Department - School of Computer Science - Carnegie Mellon University
CMU Ph.D. student Andy Hammer wins 2025 NSF Graduate Research Fellowship for software engineering research in cybersecurity, formal methods, and multi-party computation (MPC) protocols. The Carnegie M...
s3d.cmu.edu
July 14, 2025 at 4:29 PM
Read how they're pioneering resilient computing at society's frontier: s3d.cmu.edu/news/2025/07...
What critical system do YOU rely on that can't afford to fail?
#SoftwareEngineering #CMU #SystemsThinking #NSF
What critical system do YOU rely on that can't afford to fail?
#SoftwareEngineering #CMU #SystemsThinking #NSF
Their secret? Bringing aerospace engineering's "failure mode" thinking to software systems. Using math to catch security flaws BEFORE they're deployed.
Because software IS the system now. And it better work when everything goes wrong.
Because software IS the system now. And it better work when everything goes wrong.
July 14, 2025 at 4:29 PM
Their secret? Bringing aerospace engineering's "failure mode" thinking to software systems. Using math to catch security flaws BEFORE they're deployed.
Because software IS the system now. And it better work when everything goes wrong.
Because software IS the system now. And it better work when everything goes wrong.
Reposted by CMU Software & Societal Systems (S3D)
Next was an intriguing talk by McKenna McCall on the need to combine formal methods and usable security approaches at @cmus3d.bsky.social www.youtube.com/watch?v=qbnq... (5/7)
Current Topics in Privacy-January 21st 2025-McKenna McCall
YouTube video by Carnegie Mellon Software and Societal Systems Dept
www.youtube.com
May 6, 2025 at 2:26 AM
Next was an intriguing talk by McKenna McCall on the need to combine formal methods and usable security approaches at @cmus3d.bsky.social www.youtube.com/watch?v=qbnq... (5/7)