Benson strives to realize Sustainable Development Goal 9 by improving the performance and accessibility of digital infrastructure.
Researchers have made it possible for non-experts to formally prove that their code is correct, reliable, and secure.
Senior Matthew Coyle is a runner on Carnegie Mellon’s Track and Field team and recently won individual first place in the UAA championship.
Alumnus Vikas Chandra is developing tomorrow’s smart glasses.