Another member of Popular Science's Brilliant 10 list for this year is German-born Andre Platzer from Carnegie Mellon University. Platzer has developed KeYmaera, software that assists computer-controlled safety systems in avoiding catastrophic errors. Platzer's software is being used to make airplane autopilot systems, high speed rail and automobile cruise controls safer.
