Fred B. Schneider
Fred B. Schneider | |
|---|---|
| Born | December 7, 1953 |
| Nationality | American |
| Alma mater | Stony Brook University |
| Known for | Distributed computing |
| Awards | IEEE Emanuel R. Piore Award (2012) NAE (2011) IEEE Fellow (2008) ACM Fellow (1995) AAAS Fellow (1992) |
| Scientific career | |
| Fields | Computer science |
| Institutions | Cornell University |
| Doctoral advisor | Arthur Jay Bernstein |
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.[5] 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.[6] In 2003, he was awarded an honorary DSc degree by Newcastle University in the United Kingdom.[7]
He was named as the recipient of the IEEE Emanuel R. Piore Award for 2012.[8]
In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".[9]
Awards
[edit]- Fellow, American Association for Advancement of Science (1992)[10]
- Fellow, ACM[11][12] (1995)
- Professor-at-Large, University of Tromsø, Tromsø, Norway (1996)
- Doctor of Science (honoris causa), University of Newcastle, U.K. (May 2003),[13] statement read by orator[14]
- ACM SIGOPS Hall of Fame Award (2007)[15]
- Fellow, Institute of Electrical and Electronics Engineers (2008)[16]
- Member, Norwegian Academy of Technological Sciences (2010)[17]
- Member, National Academy of Engineering (2011)[18]
- IEEE Emanuel R. Piore Award (2012)
- Service to Computing Research Association Award (2016)[19]
- Jean-Claude Laprie Award in Dependable Computing (2017)[20]
- Member, American Academy of Arts and Sciences (2017)[21]
- Edsger W. Dijkstra Prize in Distributed Computing (2018)
- IEEE Computer Security Foundations Symposium Distinguished Paper (2021)[22]
Books
[edit]- 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
[edit]- ^ "Fred B. Schneider Vita". U.S. Department of Energy Office of Scientific and Technical Information. Archived from the original on 5 March 2016.
- ^ Fred B. Schneider — biography, Cornell University, USA.
- ^ Baaba Andam, Fred B. Schneider — Network Security Systems: Building a Better Defense, Faculty of Computing and Information Science, Cornell University, USA.
- ^ Fred B. Schneider Publications, Cornell University, USA.
- ^ Medlemmer, Norwegian Academy of Technological Sciences, retrieved 2020-04-06
- ^ Fred B. Schneider — biography Archived 2011-06-07 at the Wayback Machine, EDUCAUSE, USA.
- ^ "Newcastle University, School of Computing, Honorary Degree". Archived from the original on 2017-11-15. Retrieved 2017-11-15.
- ^ "IEEE Emanuel R. Piore Award Recipients" (PDF). IEEE. Archived from the original (PDF) on February 17, 2013. Retrieved March 20, 2021.
- ^ 2018 Edsger W. Dijkstra Prize in Distributed Computing, ACM Principles of Distributed Computing 2018
- ^ "Historic Fellows". AAAS. 1992. Retrieved 2022-08-25.
- ^ "ACM Fellows". ACM. 1995. Retrieved 2022-08-26.
- ^ "Fred B Schneider: ACM Fellow". ACM. 1995. Retrieved 2022-08-26.
- ^ "Computing Science Honorary Degrees". Newcastle University. 2003. Retrieved 2022-08-25.
- ^ "FRED BARRY SCHNEIDER : DSC" (PDF). 2003. Retrieved 2022-08-26.
- ^ "The Hall of Fame Award". ACM SIGOPS. 2007. Retrieved 2022-08-26.
- ^ "IEEE Fellows Directory". IEEE. 2008. Retrieved 2022-08-26.
- ^ Medlemmer, Norwegian Academy of Technological Sciences, retrieved 2020-08-26
- ^ "IEEE Members Directory". NAE. 2011. Retrieved 2022-08-26.
- ^ "Service to CRA Award". CRA. 2016. Retrieved 2022-08-25.
- ^ "IFIP WG 10.4 on Dependable Computing and Fault Tolerance". IFIP Working Group 10.4. 2017. Retrieved 2022-08-26.
- ^ "Member Directory". American Academy of Arts and Sciences. 2017. Retrieved 2022-08-25.
- ^ "34th IEEE Computer Security Foundations Symposium". IEEE. 2021. Retrieved 2022-08-25.
External links
[edit]- 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 Archived 2012-03-12 at the Wayback Machine, Scientific Commons
- 1953 births
- Living people
- Cornell University alumni
- Stony Brook University alumni
- American computer scientists
- Cornell University faculty
- American textbook writers
- American male non-fiction writers
- Formal methods people
- Researchers in distributed computing
- Fellows of the American Association for the Advancement of Science
- 1995 fellows of the Association for Computing Machinery
- Fellows of the IEEE
- Computer science writers
- Members of the United States National Academy of Engineering
- Members of the Norwegian Academy of Technological Sciences