Philip Lee Wadler was born on April 8, 1956. He is a UK-based American computer scientist known for his work in programming language design and type theory. He holds the position of Personal Chair of theoretical computer science at the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh.
Simon Peyton Jones (born January 18, 1958) is a British computer expert who studies how to create and use functional programming languages, especially a type of programming that delays calculations until they are needed.
Luca Andrea Cardelli FRS is an Italian computer scientist who works as a research professor at the University of Oxford in the United Kingdom. Cardelli is well-known for his work in type theory and operational semantics. In the field of programming languages, he helped create the language Modula-3, built the first compiler for the (non-pure) functional language ML, introduced the idea of typeful programming, and contributed to the development of the experimental language Polyphonic C#.
Gordon David Plotkin was born on September 9, 1946. He is a computer scientist who studies theory at the School of Informatics at the University of Edinburgh. Plotkin is most famous for creating a method called structural operational semantics (SOS) and for his work on denotational semantics.
Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist. He received the 1991 ACM Turing Award.
Andy Hopper (born February 18, 1977) is an American politician who works as a member of the Texas House of Representatives for the 64th district. He has held this position since 2025. In 2024, he won the Republican primary election against the current representative, Lynn Stucky.
Leslie Barry Lamport was born on February 7, 1941. He is an American computer scientist and mathematician. Lamport is most known for his important work in distributed systems and for creating the document preparation system LaTeX, along with writing its first manual.
Needham was born in Birmingham, England, as the only child of Phyllis Mary, née Baker (c. 1904–1976), and Leonard William Needham (c. 1905–1973), who was a university chemistry teacher.
Christopher S. Strachey (pronounced STRAY-chee; born November 16, 1916; died May 18, 1975) was a British computer scientist. He was an early leader in creating programming languages and helped develop the idea of denotational semantics and computer time-sharing.
Stanley Gill (26 March 1926 – 5 April 1975) was a British computer scientist. He is credited, along with Maurice Wilkes and David Wheeler, with inventing the first computer subroutine.