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.
Researchers develop first AI-enabled wearable camera to detect drug errors.
