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

computer scientist A computer scientist is a person who is trained in the academic study of computer science. Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...

, based at

Cornell University Cornell University is a private statutory land-grant research university based in Ithaca, New York. It is a member of the Ivy League. Founded in 1865 by Ezra Cornell and Andrew Dickson White, Cornell was founded with the intention to teach an ...

, 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, cybersecurity (cyber security), or information technology security (IT security) is the protection of computer systems and networks from attack by malicious actors that may result in unauthorized information disclosure, the ...

, and

distributed system A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer sci ...

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, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Science was the University of ...

degree in

Engineering Engineering is the use of scientific method, scientific principles to design and build machines, structures, and other items, including bridges, tunnels, roads, vehicles, and buildings. The discipline of engineering encompasses a broad rang ...

from Cornell University in 1975 followed by a

Ph.D. A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...

from

Stony Brook University Stony Brook University (SBU), officially the State University of New York at Stony Brook, is a public research university in Stony Brook, New York. Along with the University at Buffalo, it is one of the State University of New York system's ...

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 A distributed system is a system whose components are located on different computer network, networked computers, which communicate and coordinate their actions by message passing, passing messages to one another from any system. Distributed com ...

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

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

'', ''High Integrity Systems'', '' IEEE Transactions on Dependable and Secure Computing'', and ''

Information Processing Letters ''Information Processing Letters'' is a peer reviewed scientific journal in the field of computer science, published by Elsevier Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its ...

''. Schneider is a Fellow of the

American Association for the Advancement of Science The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific respons ...

(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 member ...

(1995), the

Institute of Electrical and Electronics Engineers The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

(2008), and the

Norwegian Academy of Technological Sciences The Norwegian Academy of Technological Sciences ( no, Norges Tekniske Vitenskapsakademi, 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 Aca ...

. He was also elected a member of the

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

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 an ...

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

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

in the United Kingdom. He was named as the recipient of the

IEEE Emanuel R. Piore Award The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...

for 2012. In 2018 he and Bowen Alpern received the

Dijkstra Prize The Edsger W. Dijkstra Paper Prize in Distributed Computing is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at lea ...

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 * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

(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), statement read by orator * ACM SIGOPS Hall of Fame Award (2007) * Fellow,

(2008) * Member,

(2010) * Member, National Academy of Engineering (2011) *

(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 (abbreviation: AAA&S) 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 ...

(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 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States mainly known for his books ''The Science of Programming'' (1981) and ''A Logical Approach to Discrete Math'' ( ...

.) * ''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, the National Academy of Engineering, the National Academy of Medicine, and the National Research Co ...

, 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 accessib ...

{{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 Fellows of the Association for Computing Machinery Fellow Members of the IEEE Computer science writers Members of the United States National Academy of Engineering Members of the Norwegian Academy of Technological Sciences