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]
Edsger Wybe Dijkstra was a Dutch computer scientist, programmer, software engineer, mathematician, and science essayist.
Software crisis is a term used in the early days of computing science for the difficulty of writing useful and efficient computer programs in the required time. The software crisis was due to the rapid increases in computer power and the complexity of the problems that could be tackled. With the increase in the complexity of the software, many software problems arose because existing methods were inadequate.
Leslie B. Lamport is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.
David Andrew Patterson is an American computer scientist and academic who has held the position of professor of computer science at the University of California, Berkeley since 1976. He is a computer pioneer. He announced retirement in 2016 after serving nearly forty years, becoming a distinguished software engineer at Google. He currently is vice chair of the board of directors of the RISC-V Foundation, and the Pardee Professor of Computer Science, Emeritus at UC Berkeley.
Richard Farris Rashid is the founder of Microsoft Research, which he created in 1991. Between 1991 and 2013, as its chief research officer and director, he oversaw the worldwide operations for Microsoft Research which grew to encompass more than 850 researchers and a dozen labs around the world.
Nancy Ann Lynch is a computer scientist affiliated with the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory.
Scott J. Shenker is an American computer scientist, and professor of computer science at the University of California, Berkeley. He is also the leader of the Extensible Internet Group at the International Computer Science Institute in Berkeley, California.
Joseph Yehuda Halpern is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty.
Éva Tardos is a Hungarian mathematician and the Jacob Gould Schurman Professor of Computer Science at Cornell University.
ACM SIGACT or SIGACT is the Association for Computing Machinery Special Interest Group on Algorithms and Computation Theory, whose purpose is support of research in theoretical computer science. It was founded in 1968 by Patrick C. Fischer.
Yale Nance Patt is an American professor of electrical and computer engineering at The University of Texas at Austin. He holds the Ernest Cockrell, Jr. Centennial Chair in Engineering. In 1965, Patt introduced the WOS module, the first complex logic gate implemented on a single piece of silicon. He is a fellow of both the Institute of Electrical and Electronics Engineers and the Association for Computing Machinery, and in 2014 he was elected to the National Academy of Engineering.
Maurice Peter Herlihy is an American computer scientist active in the field of multiprocessor synchronization. Herlihy has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as hardware and software transactional memory. He is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1994.
Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.
Keith Marzullo is the inventor of Marzullo's algorithm, which is part of the basis of the Network Time Protocol and the Windows Time Service. On August 1, 2016 he became the Dean of the University of Maryland College of Information Studies after serving as the Director of the NITRD National Coordination Office. Prior to this he was a Professor in the Department of Computer Science and Engineering at University of California, San Diego. In 2011 he was inducted as a Fellow of the Association for Computing Machinery.
Cynthia Dwork is an American computer scientist best known for her contributions to cryptography, distributed computing, and algorithmic fairness. She is one of the inventors of differential privacy and proof-of-work.
Ravishankar K. Iyer is the George and Ann Fisher Distinguished Professor of Engineering at the University of Illinois at Urbana-Champaign. He is a specialist in reliable and secure networks and systems.
Thomas E. Anderson is an American computer scientist noted for his research on distributed computing, networking and operating systems.
Kenneth P. Birman is a professor in the Department of Computer Science at Cornell University. He currently holds the N. Rama Rao Chair in Computer Science.
Hagit Attiya is an Israeli computer scientist who holds the Harry W. Labov and Charlotte Ullman Labov Academic Chair of Computer Science at the Technion – Israel Institute of Technology in Haifa, Israel. Her research is in the area of distributed computing.
Lorenzo Alvisi is an Italian computer scientist and Tisch University Professor at Cornell University. Prior to joining Cornell, he was a University Distinguished Teaching Professor and the holder of the Endowed Professorship #5 at the University of Texas at Austin. His research focuses on distributed systems and dependability. He holds a laurea in Physics from the University of Bologna (1987), and an MS and PhD in Computer Science from Cornell University. He is a fellow of the Association for Computing Machinery since 2010 and of the Institute of Electrical and Electronics Engineers since 2016.