Turing Award in the context of Ron Rivest

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.

Moscow State University (MSU), officially M. V. Lomonosov Moscow State University, is a public research university in Moscow, Russia. The university includes 15 research institutes, 43 faculties, more than 300 departments, and six branches. Alumni of the university include past leaders of the Soviet Union and other governments. As of 2019, 13 Nobel laureates, six Fields Medal winners, and one Turing Award winner were affiliated with the university.

Trinity College is a constituent college of the University of Cambridge. Founded in 1546 by King Henry VIII, Trinity is one of the largest Cambridge colleges, with the largest financial endowment of any college at Oxford or Cambridge. Trinity has some of the most distinctive architecture in Cambridge with its Great Court said to be the largest enclosed courtyard in Europe. Academically, Trinity performs exceptionally as measured by the Tompkins Table (the annual unofficial league table of Cambridge colleges), coming top from 2011 to 2017, and regaining the position in 2024.

Members of Trinity have been awarded 34 Nobel Prizes out of the 121 received by members of the University of Cambridge (more than any other Oxford or Cambridge college). Members of the college have received four Fields Medals, one Turing Award and one Abel Prize. Trinity alumni include Francis Bacon, six British prime ministers (the highest number of any Cambridge college), physicists Isaac Newton, James Clerk Maxwell, Ernest Rutherford and Niels Bohr, mathematicians Srinivasa Ramanujan and Charles Babbage, poets Lord Byron and Lord Tennyson, English jurist Edward Coke, writers Vladimir Nabokov and A. A. Milne, historians Lord Macaulay and G. M. Trevelyan, and philosophers Ludwig Wittgenstein and Bertrand Russell (who the college expelled before reaccepting). Two members of the British royal family have studied at Trinity and been awarded degrees: Prince William of Gloucester and Edinburgh, who gained an MA in 1790, and King Charles III, who was awarded a lower second class BA in 1970.

Sorbonne University (French: Sorbonne Université) is a public research university located in Paris, France. The institution's legacy reaches back to the Middle Ages in 1257 when the College of Sorbonne was established by Robert de Sorbon as a constituent college of the University of Paris, one of the first universities in Europe. Its current iteration was formed in 2018 by the merger of Paris-Sorbonne University (Paris IV) and the Université Pierre et Marie Curie (Paris VI).

Sorbonne University is one of the most sought after universities by students and researchers from France, Europe, and the French speaking countries. Most notably, Marie Skłodowska-Curie, who came from Poland in 1891 and joined the Faculty of Sciences of the University of Paris, was also the first woman to become a professor at the Sorbonne. Marie Curie and her husband Pierre Curie are considered the founders of the modern-day Faculty of Science and Engineering of Sorbonne University. As of 2021, its alumni and professors have won 33 Nobel Prizes, six Fields Medals, and one Turing Award.

Nokia Bell Labs, commonly referred to as Bell Labs, is an American industrial research and development company owned by the Finnish technology company Nokia. With headquarters located in Murray Hill, New Jersey, the company operates several laboratories in the United States and around the world.

As a former subsidiary of the American Telephone and Telegraph Company (AT&T), Bell Labs and its researchers have been credited with the development of radio astronomy, the transistor, the laser, the photovoltaic cell, the charge-coupled device (CCD), information theory, the Unix operating system, and the programming languages B, C, C++, S, SNOBOL, AWK, AMPL, and others, throughout the 20th century. Eleven Nobel Prizes and five Turing Awards have been awarded for work completed at Bell Laboratories.

IBM Research is the research and development division for IBM, an American multinational information technology company. IBM Research is headquartered at the Thomas J. Watson Research Center in Yorktown Heights, New York, near IBM headquarters in Armonk, New York. It is the largest industrial research organization in the world with operations in over 170 countries and twelve labs on six continents.

IBM employees have garnered six Nobel Prizes, six Turing Awards, 20 inductees into the U.S. National Inventors Hall of Fame, 19 National Medals of Technology, five National Medals of Science and three Kavli Prizes. As of 2018, the company has generated more patents than any other business in each of 25 consecutive years, which is a record.

Herbert Alexander Simon (June 15, 1916 – February 9, 2001) was an American scholar whose work influenced the fields of computer science, economics, and cognitive psychology. His primary research interest was decision-making within organizations and he is best known for the theories of "bounded rationality" and "satisficing". He received the Turing Award in 1975 and the Nobel Memorial Prize in Economic Sciences in 1978. His research was noted for its interdisciplinary nature, spanning the fields of cognitive science, computer science, public administration, management, and political science. He was at Carnegie Mellon University for most of his career, from 1949 to 2001, where he helped found the Carnegie Mellon School of Computer Science, one of the first such departments in the world.

Notably, Simon was among the pioneers of several modern-day scientific domains such as artificial intelligence, information processing, decision-making, problem-solving, organization theory, and complex systems. He was among the earliest to analyze the architecture of complexity and to propose a preferential attachment mechanism to explain power law distributions.

Stephen Arthur Cook OC OOnt (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.

He is considered one of the forefathers of computational complexity theory. He won the 1982 ACM Turing Award.

John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence, and part of just a small group of artificial intelligence researchers in the 1950s and 1960s. He co-authored the proposal for the Dartmouth workshop which coined the term "artificial intelligence" (AI), led the development of the symbolic programming language family Lisp and had a large influence in the language ALGOL, popularized time-sharing, and created garbage collection.

McCarthy spent most of his career at Stanford University. He received many accolades and honors, such as the 1971 Turing Award for his contributions to the topic of AI, the United States National Medal of Science, and the Kyoto Prize.

Marvin Lee Minsky (August 9, 1927 – January 24, 2016) was an American cognitive and computer scientist concerned largely with research in artificial intelligence (AI). He co-founded the Massachusetts Institute of Technology's AI laboratory and wrote extensively about AI and philosophy.

Minsky received many accolades and honors, including the 1969 ACM Turing Award. He is known as the "father of AI".

Allen Newell (March 19, 1927 – July 19, 1992) was an American researcher in computer science and cognitive psychology at the RAND Corporation and at Carnegie Mellon University's School of Computer Science, Tepper School of Business, and Department of Psychology. He, Herbert A. Simon, and Cliff Shaw contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theorist (1956) and the General Problem Solver (1957). He and Simon were awarded the ACM Turing Award in 1975 for their contributions to artificial intelligence and the psychology of human cognition.

Leslie Barry Lamport (born February 7, 1941) 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.

Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.

Vinton Gray Cerf (/sɜːrf/; born June 23, 1943) is an American Internet pioneer and is recognized as one of "the fathers of the Internet", sharing this title with TCP/IP co-developer Robert Kahn.

He has received honorary degrees and awards that include the National Medal of Technology, the Turing Award, the Presidential Medal of Freedom, the Marconi Prize, and membership in the National Academy of Engineering.

Robert Elliot Kahn (born December 23, 1938) is an American electrical engineer who, along with Vint Cerf, first proposed the Transmission Control Protocol (TCP) and the Internet Protocol (IP), the fundamental communication protocols at the heart of the Internet.

In 2004, Kahn won the Turing Award with Vint Cerf for their work on TCP/IP.

Adi Shamir (Hebrew: עדי שמיר; born July 6, 1952) is an Israeli cryptographer and inventor. He is a co-inventor of the Rivest–Shamir–Adleman (RSA) algorithm (along with Ron Rivest and Len Adleman), a co-inventor of the Feige–Fiat–Shamir identification scheme (along with Uriel Feige and Amos Fiat), one of the inventors of differential cryptanalysis and has made numerous contributions to the fields of cryptography and computer science. In 2002, Ron Rivest, Len Adleman, and he won the ACM Turing Award.

Leonard Adleman (born December 31, 1945) is an American computer scientist. He is one of the creators of the RSA encryption algorithm, for which he received the 2002 Turing Award. He is also known for the creation of the field of DNA computing and coining the term computer virus.