Fred B. Schneider is a professor at Cornell University's Computer Science Department and chief scientist of the TRUST (Team for Research in Ubiquitous Secure Technology) NSF Science and Technology Center (a collaboration of U C Berkeley, Carnegie-Mellon, Cornell, Stanford, and Vanderbilt).
Schneider has a B.S. from Cornell ('75), an M.S. and Ph.D. ('78) from Stony Brook University, and a D.Sc. [honoris causa] from the University of Newcastle-upon-Tyne ('03). He is a fellow of AAAS and ACM, a senior member of IEEE, and was named Professor-at-Large at University of Tromso (Norway) in 1996.
Schneider is author of the graduate text "On Concurrent Programming" and is co-author (with David Gries) of the undergraduate text "A Logical Approach to Discrete Math", in addition to having chaired the National Research Council's study committee on information systems trustworthiness and edited its final report "Trust in Cyberspace".
Co-managing editor of Springer-Verlag's Texts and Monographs in Computer Science, Schneider is also associate editor-in-chief of "IEEE Security and Privacy", and serves on several other journal editorial boards. He is a member of industrial technical advisory boards for FAST Search and Transfer and for Fortify Software, and he chairs Microsoft's Trustworthy Computing Academic Advisory Board. Schneider serves on the National Research Council's CSTB, the NIST Information Security and Privacy Board, the CRA board of directors, and the CCC Council.
Schneider's research concerns problems associated with making distributed and concurrent systems trustworthy. His early work was in formal methods and methodologies for concurrent programming and in protocols for fault-tolerance. More recently, his attention has turned to topics in computer security.