Stephen Arthur Cook OC OOnt was born on December 14, 1939. He is an American-Canadian computer scientist and mathematician who has made important contributions to the fields of complexity theory and proof complexity. He is a retired university professor at the University of Toronto, where he worked in the Department of Computer Science and the Department of Mathematics.
Manuel Blum was born on April 26, 1938. He is a computer scientist who was born in Venezuela and is now an American. He received the 1995 ACM Turing Award for his work in the study of how computers solve problems efficiently and how this applies to making secure codes and checking if computer programs are correct.
Richard Stearns served as the president of World Vision United States, an international Christian relief charity located in Federal Way, Washington, from 1998 to 2018.
Juris Hartmanis was born on July 5, 1928, and passed away on July 29, 2022. He was a Latvian-born American computer scientist who studied how computers solve problems. Along with Richard E.
Michael Rabin (May 2, 1936 – January 19, 1972) was an American violinist. He has been described as “one of the most talented and tragic violin virtuosi of his generation.”
Dana Stewart Scott was born on October 11, 1932. He is an American logician who once held the position of Hillman University Professor emeritus in Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University. He is now retired and lives in Berkeley, California.
Christopher S. Strachey ( / ˈ s t r eɪ tʃ i / STRAY -chee ; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the first people to design programming languages and helped create a system called denotational semantics.
Peter John Landin was a British computer scientist born on June 5, 1930, and he passed away on June 3, 2009. He was among the first people to recognize that the lambda calculus could be used to help create a programming language. This idea was important for the development of functional programming and denotational semantics.
John Reynolds (actor) was born in 1991. He is an American actor and writer. John Reynolds (musician) is a record producer.
Barbara Liskov (born November 7, 1939, as Barbara Jane Huberman) is an American computer scientist who has made important contributions to programming languages and distributed computing. Her notable work includes the introduction of abstract data types and the idea of data abstraction. She also developed the Liskov substitution principle, which applies these ideas to object-oriented programming, subtyping, and inheritance.