Fred Barry Schneider (born December 7, 1953) is an American

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

, based at

Cornell University Cornell University is a Private university, private Ivy League research university based in Ithaca, New York, United States. The university was co-founded by American philanthropist Ezra Cornell and historian and educator Andrew Dickson W ...

, where he is the Samuel B. Eckert Professor of Computer Science. He has published in numerous areas including

science policy Science policy is concerned with the allocation of resources for the conduct of science towards the goal of best serving the public interest. Topics include the funding of science, the careers of scientists, and the translation of scientific disc ...

cybersecurity Computer security (also cybersecurity, digital security, or information technology (IT) security) is a subdiscipline within the field of information security. It consists of the protection of computer software, systems and networks from thr ...

, and

distributed system Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components are located on different networked computers. The components of a distributed system commun ...

s. His research is in the area of

concurrent Concurrent means happening at the same time. Concurrency, concurrent, or concurrence may refer to: Law * Concurrence, in jurisprudence, the need to prove both ''actus reus'' and ''mens rea'' * Concurring opinion (also called a "concurrence"), a ...

and

s for high-integrity and mission-critical applications. Schneider received a

B.Sc. A Bachelor of Science (BS, BSc, B.S., B.Sc., SB, or ScB; from the Latin ') is a bachelor's degree that is awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Scienc ...

degree in

Engineering Engineering is the practice of using natural science, mathematics, and the engineering design process to Problem solving#Engineering, solve problems within technology, increase efficiency and productivity, and improve Systems engineering, s ...

from Cornell University in 1975 followed by a

Ph.D. A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

from

Stony Brook University Stony Brook University (SBU), officially the State University of New York at Stony Brook, is a public university, public research university in Stony Brook, New York, United States, on Long Island. Along with the University at Buffalo, it is on ...

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 Distributed computing is a field of computer science that studies distributed systems, defined as computer systems whose inter-communicating components are located on different networked computers. The components of a distributed system commu ...

'' and associate editor-in-chief of ''IEEE Security and Privacy''. He has also edited ''

ACM Computing Surveys ''ACM Computing Surveys'' is peer-reviewed quarterly scientific journal and is published by the Association for Computing Machinery. It publishes survey articles and tutorials related to computer science and computing. The journal was established i ...

'', ''High Integrity Systems'', ''

IEEE Transactions on Dependable and Secure Computing The ''IEEE Transactions on Dependable and Secure Computing'' is a bimonthly peer-reviewed scientific journal covering all aspects of dependability and security. It is published by the IEEE Computer Society and was established in 2004. The current e ...

'', and ''

Information Processing Letters ''Information Processing Letters'' is a peer review, peer-reviewed scientific journal in the field of computer science, published by Elsevier. The aim of the journal is to enable fast dissemination of results in the field of Data processing, inform ...

''. Schneider is a Fellow of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is a United States–based international nonprofit with the stated mission of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsib ...

(1992), the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...

(1995), the

Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE has a corporate office ...

(2008), and the

Norwegian Academy of Technological Sciences The Norwegian Academy of Technological Sciences (, NTVA) is a learned society based in Trondheim, Norway. Founded in 1955, the academy has about 500 members. It is a member of the International Council of Academies of Engineering and Technologica ...

. He was also elected a member of the

National Academy of Engineering The National Academy of Engineering (NAE) is an American Nonprofit organization, nonprofit, NGO, non-governmental organization. It is part of the National Academies of Sciences, Engineering, and Medicine (NASEM), along with the National Academ ...

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ø The University of Tromsø – The Arctic University of Norway ( Norwegian: ''Universitetet i Tromsø – Norges arktiske universitet''; Northern Sami: ''Romssa universitehta – Norgga árktalaš universitehta'') is a state university in Norway a ...

, Norway. In 2003, he was awarded an honorary DSc degree by

Newcastle University Newcastle University (legally the University of Newcastle upon Tyne) is a public research university based in Newcastle upon Tyne, England. It has overseas campuses in Singapore and Malaysia. The university is a red brick university and a mem ...

in the United Kingdom. He was named as the recipient of the IEEE Emanuel R. Piore Award for 2012. In 2018 he and Bowen Alpern received the

Dijkstra Prize The ACM Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery (special interest groups SIGACT and SIGOPS). Scope and ...

for their 1985 paper "Defining liveness".

Awards

* Fellow, American Association for Advancement of Science (1992) *Fellow,

ACM ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * IATA airport code for Arica Airport in Amazonas Department, Colombia Computing ...

(1995) * Professor-at-Large, University of Tromsø, Tromsø, Norway (1996) * Doctor of Science (honoris causa), University of Newcastle, U.K. (May 2003), statement read by orator * ACM SIGOPS Hall of Fame Award (2007) * Fellow,

(2008) * Member,

(2010) * Member, National Academy of Engineering (2011) * IEEE Emanuel R. Piore Award (2012) * Service to

Computing Research Association The Computing Research Association (CRA) is a 501(c)3 non-profit association of North American academic departments of computer science, computer engineering, and related fields; laboratories and centers in industry, government, and academia enga ...

Award (2016) * Jean-Claude Laprie Award in Dependable Computing (2017) * Member,

American Academy of Arts and Sciences The American Academy of Arts and Sciences (The Academy) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other ...

(2017) * Edsger W. Dijkstra Prize in Distributed Computing (2018) * IEEE Computer Security Foundations Symposium Distinguished Paper (2021)

Books

* ''A Logical Approach to Discrete Math''. New York:

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, 1993. (With

David Gries David Gries (born April 26, 1939) is an American computer scientist at Cornell University, mainly known for his books ''The Science of Programming'' (1981) and ''A Logical Approach to Discrete Math'' (1993, with Fred B. Schneider). He was asso ...

.) * ''On Concurrent Programming''. New York: Springer-Verlag, 1997. * ''Trust in Cyberspace'',

National Academy Press The US National Academies Press (NAP) was created to publish the reports issued by the National Academies of Sciences, Engineering, and Medicine (formerly known as the National Research Council (United States), National Research Council), the Na ...

, 1998. (Editor.)

References

External links

Fred B. Schneider homepage
* *
Fred B. Schneider publication list details
,

Scientific Commons ScientificCommons was a project of the University of St. Gallen ''Institute for Media and Communications Management''. The major aim of the project was to develop the world’s largest archive of scientific knowledge with fulltexts freely accessi ...

{{DEFAULTSORT:Schneider, Fred B. 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