Fred Schneider has been named recipient of the 2012 IEEE Emanuel R. Piore Award "for contributions to trustworthy computing through novel approaches to security, fault tolerance and formal methods for concurrent and distributed systems."