Fred Schneider has been elevated to IEEE Fellow, effective 1 January 2009, with the following citation: "for contributions to trustworthy computing, fault-tolerance and formal methods."
Each year, following a rigorous evaluation procedure, the IEEE Fellow Committee recommends a select group of recipients for one of the Institute's most prestigious honors, elevation to IEEE Fellow.
http://www.ieee.org/web/membership/fellows/Fellows_Class_of_2009.html
Also in the news...
Professor Schneider gave the keynote address at NSF/IARPA/NSA Workshop on the Science of Security in Oakland, California in November 2008.