Fred B. Schneider
{{Short description|American computer scientist}}
{{for|the American vocalist|Fred Schneider}}
{{Infobox scientist
| name = Fred B. Schneider
| image =
| image_size =
| alt =
| caption =
| birth_date = {{Birth date and age|1953|12|07|mf=y}}
| birth_place =
| death_date =
| death_place =
| nationality = American
| fields = Computer science
| workplaces = Cornell University
| alma_mater = Stony Brook University
| thesis_title =
| thesis_url =
| thesis_year =
| doctoral_advisor = Arthur Jay Bernstein
| doctoral_students =
| known_for = Distributed computing
| awards = IEEE Emanuel R. Piore Award (2012)
NAE (2011)
IEEE Fellow (2008)
ACM Fellow (1995)
AAAS Fellow (1992)
}}
Fred Barry Schneider (born December 7, 1953{{cite web| title=Fred B. Schneider Vita | url=http://www.osti.gov/eprints/topicpages/documents/record/835/1607302.html | website=U.S. Department of Energy Office of Scientific and Technical Information | archive-url=https://web.archive.org/web/20160305015950/http://www.osti.gov/eprints/topicpages/documents/record/835/1607302.html |archive-date=5 March 2016|url-status=dead}}) is an American computer scientist, based at Cornell University, where he is the Samuel B. Eckert Professor of Computer Science.[http://www.cs.cornell.edu/fbs/biog.html Fred B. Schneider — biography], Cornell University, USA.Baaba Andam, [http://www.cis.cornell.edu/schneider.html Fred B. Schneider — Network Security Systems: Building a Better Defense], Faculty of Computing and Information Science, Cornell University, USA. He has published in numerous areas including science policy, cybersecurity, and distributed systems.[http://www.cs.cornell.edu/fbs/fullist.html Fred B. Schneider Publications], Cornell University, USA. 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.{{citation|url=https://www.ntva.no/medlemmer/|title=Medlemmer|publisher=Norwegian Academy of Technological Sciences|accessdate=2020-04-06}} 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.[http://www.educause.edu/Community/MemDir/Profiles/FredBSchneider/66567 Fred B. Schneider — biography] {{Webarchive|url=https://web.archive.org/web/20110607002809/http://www.educause.edu/Community/MemDir/Profiles/FredBSchneider/66567 |date=2011-06-07 }}, EDUCAUSE, USA.
In 2003, he was awarded an honorary DSc degree by Newcastle University in the United Kingdom.{{Cite web |url=http://www.ncl.ac.uk/computing/about/hon_degrees/ |title=Newcastle University, School of Computing, Honorary Degree |access-date=2017-11-15 |archive-date=2017-11-15 |archive-url=https://web.archive.org/web/20171115222427/http://www.ncl.ac.uk/computing/about/hon_degrees/ |url-status=dead }}
He was named as the recipient of the IEEE Emanuel R. Piore Award for 2012.{{cite web|title=IEEE Emanuel R. Piore Award Recipients|url=http://www.ieee.org/documents/piore_rl.pdf|url-status=dead|archive-url=https://web.archive.org/web/20130217000243/http://www.ieee.org/documents/piore_rl.pdf|archive-date=February 17, 2013|access-date=March 20, 2021|publisher=IEEE}}
In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".[https://www.podc.org/dijkstra/2018-dijkstra-prize 2018 Edsger W. Dijkstra Prize in Distributed Computing], ACM Principles of Distributed Computing 2018
Awards
- Fellow, American Association for Advancement of Science (1992){{cite web
|url=https://www.aaas.org/fellows/historic
|title=Historic Fellows
|year=1992
|publisher=AAAS
|accessdate=2022-08-25}}
- Fellow, ACM{{Cite web
|url=https://awards.acm.org/fellows
|title=ACM Fellows
|publisher=ACM
|date=1995
|access-date=2022-08-26}}{{Cite web
|url=https://awards.acm.org/award_winners/schneider_1542224
|title=Fred B Schneider: ACM Fellow
|publisher=ACM
|date=1995
|access-date=2022-08-26}} (1995)
- Professor-at-Large, University of Tromsø, Tromsø, Norway (1996)
- Doctor of Science (honoris causa), University of Newcastle, U.K. (May 2003),{{cite web
|url=https://www.ncl.ac.uk/computing/about/honorary-degrees/
|title=Computing Science Honorary Degrees
|year=2003
|publisher=Newcastle University
|accessdate=2022-08-25}} statement read by orator{{cite web
|url=https://www.cs.cornell.edu/fbs/NewCastle.PublicOrator.pdf
|title=FRED BARRY SCHNEIDER : DSC
|year=2003
|accessdate=2022-08-26}}
- ACM SIGOPS Hall of Fame Award (2007){{cite web
|url=https://www.sigops.org/awards/hof/
|title=The Hall of Fame Award
|year=2007
|publisher=ACM SIGOPS
|accessdate=2022-08-26}}
- Fellow, Institute of Electrical and Electronics Engineers (2008){{cite web
|url=https://services27.ieee.org/fellowsdirectory/getdetailprofile.html?custNum=GYggyF%2FmrHalYapr2zhqXA%3D%3D&bccaptions=Alphabetical%20Listing%20&bclocations=%2Ffellowsdirectory%2Fhome.html
|title=IEEE Fellows Directory
|year=2008
|publisher=IEEE
|accessdate=2022-08-26}}
- Member, Norwegian Academy of Technological Sciences (2010){{citation|url=https://www.ntva.no/medlemmer/|title=Medlemmer|publisher=Norwegian Academy of Technological Sciences|accessdate=2020-08-26}}
- Member, National Academy of Engineering (2011){{cite web
|url=https://www.nae.edu/MemberDirectory.aspx?qln=schneider
|title=IEEE Members Directory
|year=2011
|publisher=NAE
|accessdate=2022-08-26}}
- IEEE Emanuel R. Piore Award (2012)
- Service to Computing Research Association Award (2016){{cite web
|url=https://cra.org/cra/fred-schneider-receives-service-cra-award/
|title=Service to CRA Award
|year=2016
|publisher=CRA
|accessdate=2022-08-25}}
- Jean-Claude Laprie Award in Dependable Computing (2017){{cite web
|url=https://www.dependability.org/?page_id=450
|title=IFIP WG 10.4 on Dependable Computing and Fault Tolerance
|year=2017
|publisher=IFIP Working Group 10.4
|accessdate=2022-08-26}}
- Member, American Academy of Arts and Sciences (2017){{cite web
|url=https://www.amacad.org/directory
|title=Member Directory
|year=2017
|publisher=American Academy of Arts and Sciences
|accessdate=2022-08-25}}
- Edsger W. Dijkstra Prize in Distributed Computing (2018)
- IEEE Computer Security Foundations Symposium Distinguished Paper (2021){{cite web
|url=https://www.ieee-security.org/TC/CSF2021/
|title=34th IEEE Computer Security Foundations Symposium
|year=2021
|publisher=IEEE
|accessdate=2022-08-25}}
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
{{Reflist}}
External links
- [http://www.cs.cornell.edu/fbs/ Fred B. Schneider homepage]
- {{MathGenealogy |name=Fred Barry Schneider}}
- {{DBLP |name=Fred B. Schneider}}
- [http://en.scientificcommons.org/fred_b_schneider Fred B. Schneider publication list details] {{Webarchive|url=https://web.archive.org/web/20120312141044/http://en.scientificcommons.org/fred_b_schneider |date=2012-03-12 }}, Scientific Commons
{{Authority control}}
{{DEFAULTSORT:Schneider, Fred B.}}
Category:Cornell University alumni
Category:Stony Brook University alumni
Category:American computer scientists
Category:Cornell University faculty
Category:American textbook writers
Category:American male non-fiction writers
Category:Formal methods people
Category:Researchers in distributed computing
Category:Fellows of the American Association for the Advancement of Science
Category:1995 fellows of the Association for Computing Machinery
Category:Computer science writers
Category:Members of the United States National Academy of Engineering
Category:Members of the Norwegian Academy of Technological Sciences