Fred B. Schneider

Fred Barry Schneider (born December 7, 1953[1]) is an American computer scientist, based at Cornell University, New York, United States, 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.

Fred B. Schneider
Born (1953-12-07) December 7, 1953
NationalityAmerican
Alma materStony Brook University
Known forDistributed computing
AwardsIEEE Emanuel R. Piore Award (2012)
NAE (2011)
IEEE Fellow (2008)
ACM Fellow (1995)
AAAS Fellow (1992)
Scientific career
FieldsComputer science
InstitutionsCornell University
Doctoral advisorArthur Jay Bernstein

Schneider received a B.Sc. degree in Engineering from Cornell University in 1975 followed by a Ph.D. from Stony Brook University. 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]

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 has been named as the recipient of the IEEE Emanuel R. Piore Award for 2012.

In 2018 he and Bowen Alpern received the Dijkstra Prize for their 1985 paper "Defining liveness".[8]

Books

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.