Fred B. Schneider Explained
Fred Barry Schneider (born December 7, 1953[1]) is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor of Computer Science.[2] [3] He has published in numerous areas including science policy, cybersecurity, and distributed systems.[4] 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 Arthur J. Bernstein. In Fall 1978, he joined the faculty at Cornell University.
He has been editor-in-chief of Distributed Computing and associate 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 Association for the Advancement of Science (1992), the Association for Computing Machinery (1995), the Institute 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.[5] In 2003, he was awarded an honorary DSc degree by Newcastle University in the United Kingdom.[6]
He was named as the recipient of the IEEE Emanuel R. Piore Award for 2012.[7]
In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".[8]
Awards
- Fellow, American Association for Advancement of Science (1992)[9]
- Fellow, ACM[10] [11] (1995)
- Professor-at-Large, University of Tromsø, Tromsø, Norway (1996–present) NEEDS CITATION
- Doctor of Science (honoris causa), University of Newcastle, U.K. (May 2003),[12] statement read by orator[13]
- ACM SIGOPS Hall of Fame Award (2007)[14]
- Fellow, Institute of Electrical and Electronics Engineers (2008)[15]
- Member, Norwegian Academy of Technological Sciences (2010)
- Member, National Academy of Engineering (2011)[16]
- IEEE Emanuel R. Piore Award (2012)
- Service to Computing Research Association Award (2016)[17]
- Jean-Claude Laprie Award in Dependable Computing (2017)[18]
- Member, American Academy of Arts and Sciences (2017)[19]
- Edsger W. Dijkstra Prize in Distributed Computing (2018)
- IEEE Computer Security Foundations Symposium Distinguished Paper (2021)[20]
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.)
External links
Notes and References
- http://www.osti.gov/eprints/topicpages/documents/record/835/1607302.html
- http://www.cs.cornell.edu/fbs/biog.html Fred B. Schneider — biography
- Baaba Andam, Fred B. Schneider — Network Security Systems: Building a Better Defense, Faculty of Computing and Information Science, Cornell University, USA.
- http://www.cs.cornell.edu/fbs/fullist.html Fred B. Schneider Publications
- http://www.educause.edu/Community/MemDir/Profiles/FredBSchneider/66567 Fred B. Schneider — biography
- Web site: Newcastle University, School of Computing, Honorary Degree . 2017-11-15 . 2017-11-15 . https://web.archive.org/web/20171115222427/http://www.ncl.ac.uk/computing/about/hon_degrees/ . dead .
- Web site: IEEE Emanuel R. Piore Award Recipients. dead. https://web.archive.org/web/20130217000243/http://www.ieee.org/documents/piore_rl.pdf. February 17, 2013. March 20, 2021. IEEE.
- 2018 Edsger W. Dijkstra Prize in Distributed Computing, ACM Principles of Distributed Computing 2018
- Web site: Historic Fellows. 1992. AAAS. 2022-08-25.
- Web site: ACM Fellows . ACM. 1995 . 2022-08-26.
- Web site: Fred B Schneider: ACM Fellow . . 1995 . 2022-08-26.
- Web site: Computing Science Honorary Degrees. 2003. Newcastle University. 2022-08-25.
- Web site: FRED BARRY SCHNEIDER : DSC. 2003. 2022-08-26.
- Web site: The Hall of Fame Award. 2007. ACM SIGOPS. 2022-08-26.
- Web site: IEEE Fellows Directory. 2008. IEEE. 2022-08-26.
- Web site: IEEE Members Directory. 2011. NAE. 2022-08-26.
- Web site: Service to CRA Award. 2016. CRA. 2022-08-25.
- Web site: IFIP WG 10.4 on Dependable Computing and Fault Tolerance. 2017. IFIP Working Group 10.4. 2022-08-26.
- Web site: Member Directory. 2017. American Academy of Arts and Sciences. 2022-08-25.
- Web site: 34th IEEE Computer Security Foundations Symposium. 2021. IEEE. 2022-08-25.