Some of the work I lead at Galois was highlighted in the initial story on 60 Minutes last night, a spot interviewing Dan Kaufman at DARPA. I???m Galois??? principal investigator for the HACMS program, focused on building more reliable software for automobiles and aircraft and other embedded systems.