Fred B. Schneider
Fred Barry Schneider (born December 7, 1953) is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor of Computer Science. He has published in numerous areas including science policy, cybersecurity, and distributed systems. His research is in the area of concurrent and distributed systems for high-integrity and mission-critical applications.
Schneider received a B.Sc. degree in Engineering from Cornell University in 1975 followed by a Ph.D. from Stony Brook University where he was a student of Leslie Lamport. In Fall 1978, he joined the faculty at Cornell University.
He has been editor-in-chief of Distributed Computing and *ociate editor-in-chief of IEEE Security and Privacy. He has also edited ACM Computing Surveys, High Integrity Systems, IEEE Transactions on Dependable and Secure Computing, and Information Processing Letters.
Schneider is a Fellow of the American *ociation for the Advancement of Science (1992), the *ociation for Computing Machinery (1995), the Ins*ute of Electrical and Electronics Engineers (2008), and the Norwegian Academy of Technological Sciences. He was also elected a member of the National Academy of Engineering in 2011 for contributions to the design of trustworthy and secure computer systems.
In 1996, Schneider was named Professor-at-Large at the University of Tromsø, Norway.In 2003, he was awarded an honorary DSc degree by Newcastle University in the United Kingdom.
He has been named as the recipient of the IEEE Emanuel R. Piore Award for 2012.
In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".
Books
- A Logical Approach to Discrete Math. New York: Springer-Verlag, 1993. (With David Gries.)
- On Concurrent Programming. New York: Springer-Verlag, 1997.
- Trust in Cyberspace, National Academy Press, 1998. (Editor.)
References
External links
- Fred B. Schneider homepage
- Fred Barry Schneider at the Mathematics Genealogy Project
- Fred B. Schneider at DBLP Bibliography Server
- Fred B. Schneider publication list details, Scientific Commons