07/14/2025
Major win for responsible innovation! Andy Hammer, a Ph.D. student at Carnegie Mellon's Software and Societal Systems Department (S3D), just secured the prestigious 2025 NSF Graduate Research Fellowship.
Their work? Computing research at society's frontier - developing mathematically rigorous methods to keep critical systems secure and resilient. Think hospitals that stay online during ransomware attacks. EV charging networks that keep running even when compromised. Privacy-preserving tech that actually works.
What makes Andy's approach unique:
- Bringing aerospace engineering thinking to software systems
- Creating practical tools that catch security flaws before deployment
- Tackling the complex intersection where software meets real-world infrastructure
This is what solving big looks like - not just building code, but building systems that keep serving people under stress. Because in today's world, software IS the system.
Curious minds: What critical infrastructure do you rely on daily that could benefit from more resilient software design? Let's discuss!
Read the full story: https://bit.ly/3IGZ0Qe
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 Mellon Software and Societal Systems Department researcher develops verification techniques for criti...