You just read:

Carnegie Mellon's Franz Franchetti Receives Defense Department Funding To Develop Safer Software Technologies

News provided by

Carnegie Mellon University

Feb 27, 2013, 03:21 EST