|
Gordon Plotkin
Gordon David Plotkin (born 9 September 1946) is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on ''A Structural Approach to Operational Semantics'' were very influential. He has contributed to many other areas of computer science. Education Plotkin was educated at the University of Glasgow and the University of Edinburgh, gaining his Bachelor of Science degree in 1967 and PhD in 1972 supervised by Rod Burstall. Career and research Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS). His former doctoral students include Luca Cardelli, Philippa Gardner, Doug Gurr, Eugenio Moggi, and Lǐ Wèi. Awards and honours Plotkin was elected a Fellow of the Royal Society (FRS) in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Edinburgh School Of Informatics
The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in informatics. It was created in 1998 from the former department of artificial intelligence, the Centre for Cognitive Science and the department of computer science, along with the Artificial Intelligence Applications Institute (AIAI) and the Human Communication Research Centre. Research in the School of Informatics draws on multiple disciplines. The school is particularly known for research in the areas of artificial intelligence, computational linguistics, systems biology, mathematical logic and theoretical computer science; but also contributes to many other areas of informatics. The School of Informatics is ranked 20th in the world by the QS World University Rankings 2023. As of 2022, the school is ranked 1st in the UK according to ''CSRankings'', 1st in the UK in the latest 2021 Research Excellence Framework (REF ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oxford University Press
Oxford University Press (OUP) is the publishing house of the University of Oxford. It is the largest university press in the world. Its first book was printed in Oxford in 1478, with the Press officially granted the legal right to print books by decree in 1586. It is the second-oldest university press after Cambridge University Press, which was founded in 1534. It is a department of the University of Oxford. It is governed by a group of 15 academics, the Delegates of the Press, appointed by the Vice Chancellor, vice-chancellor of the University of Oxford. The Delegates of the Press are led by the Secretary to the Delegates, who serves as OUP's chief executive and as its major representative on other university bodies. Oxford University Press has had a similar governance structure since the 17th century. The press is located on Walton Street, Oxford, Walton Street, Oxford, opposite Somerville College, Oxford, Somerville College, in the inner suburb of Jericho, Oxford, Jericho. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Donald Michie
Donald Michie (; 11 November 1923 – 7 July 2007) was a British researcher in artificial intelligence. During World War II, Michie worked for the Government Code and Cypher School at Bletchley Park, contributing to the effort to solve " Tunny", a German teleprinter cipher. He founded The Turing Institute in Glasgow in 1982, alongside Peter Mowforth and Tim Niblett. In 1984, the institute worked under contract from Radian Corp to develop code for the Space Shuttle auto-lander. Early life and education Michie was born in Rangoon, Burma. He attended Rugby School and won a scholarship to study classics at Balliol College, Oxford. In early 1943, however, looking for some way to contribute to the war effort, Michie instead attempted to enrol on a Japanese language course in Bedford for intelligence officers. On arrival, it transpired that he had been misinformed, and instead he trained in cryptography, displaying a natural aptitude for the subject. Six weeks later, he was recr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Academy Of Arts And Sciences
The American Academy of Arts and Sciences (The Academy) is one of the oldest learned societies in the United States. It was founded in 1780 during the American Revolution by John Adams, John Hancock, James Bowdoin, Andrew Oliver, and other Founding Fathers of the United States. It is headquartered in Cambridge, Massachusetts. Membership in the academy is achieved through a nominating petition, review, and election process. The academy's quarterly journal, '' Dædalus'', is published by the MIT Press on behalf of the academy, and has been open-access since January 2021. The academy also conducts multidisciplinary public policy research. Laurie L. Patton has served as President of the Academy since January 2025. History The Academy was established by the Massachusetts legislature on May 4, 1780, charted in order "to cultivate every art and science which may tend to advance the interest, honor, dignity, and happiness of a free, independent, and virtuous people." The sixty-tw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academia Europæa
The Academia Europaea is a pan-European Academy of humanities, letters, law, and sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of European interests in national research agencies. History The concept of a 'European Academy of Sciences' was raised at a meeting in Paris of the European Ministers of Science in 1985. The initiative was taken by the Royal Society (United Kingdom) which resulted in a meeting in London in June 1986 of Arnold Burgen (United Kingdom), Hubert Curien (France), Umberto Colombo (Italy), David Magnusson (Sweden), Eugen Seibold (Germany) and Ruurd van Lieshout (the Netherlands) – who agreed to the need for a new body. The meeting also included Brian Flowers and John Kendrew. Another, larger meeting took place in October 1986 with participants representing some countries in the Council of Europe and was in support for the development of a Euro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellow Of The Royal Society Of Edinburgh
Fellowship of the Royal Society of Edinburgh (FRSE) is an award granted to individuals that the Royal Society of Edinburgh, Scotland's national academy of science and Literature, letters, judged to be "eminently distinguished in their subject". This society received a royal charter in 1783, allowing for its expansion. Elections Around 50 new fellows are elected each year in March. there are around 1,650 Fellows, including 71 Honorary Fellows and 76 Corresponding Fellows. Fellows are entitled to use the post-nominal letters FRSE, Honorary Fellows HonFRSE, and Corresponding Fellows CorrFRSE. Disciplines The Fellowship is split into four broad sectors, covering the full range of physical and life sciences, arts, humanities, social sciences, education, professions, industry, business and public life. A: Life sciences * A1: Biomedical and cognitive sciences * A2: Clinical sciences * A3: Organismal and environmental biology * A4: Cell and molecular biology B: Physical, enginee ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellow Of The Royal Society
Fellowship of the Royal Society (FRS, ForMemRS and HonFRS) is an award granted by the Fellows of the Royal Society of London to individuals who have made a "substantial contribution to the improvement of natural science, natural knowledge, including mathematics, engineering science, and medical science". Overview Fellowship of the Society, the oldest known scientific academy in continuous existence, is a significant honour. It has been awarded to :Fellows of the Royal Society, around 8,000 fellows, including eminent scientists Isaac Newton (1672), Benjamin Franklin (1756), Charles Babbage (1816), Michael Faraday (1824), Charles Darwin (1839), Ernest Rutherford (1903), Srinivasa Ramanujan (1918), Jagadish Chandra Bose (1920), Albert Einstein (1921), Paul Dirac (1930), Subrahmanyan Chandrasekhar (1944), Prasanta Chandra Mahalanobis (1945), Dorothy Hodgkin (1947), Alan Turing (1951), Lise Meitner (1955), Satyendra Nath Bose (1958), and Francis Crick (1959). More recently, fellow ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robin Milner
Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.Obituary – Professor Robin Milner: computer scientist '''', 31 March 2010. Life, education and career Milner was born in , near , |
Computer Science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, applied disciplines (including the design and implementation of Computer architecture, hardware and Software engineering, software). Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and preventing security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Denotational Semantics
In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called ''denotations'') that describe the meanings of Expression (computer science), expressions from the languages. Other approaches providing formal semantics of programming languages include axiomatic semantics and operational semantics. Broadly speaking, denotational semantics is concerned with finding mathematical objects called domain theory, domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functionsDana S. ScottOutline of a mathematical theory of computation Technical Monograph PRG-2, Oxford University Computing Laboratory, Oxford, England, November 1970.Dana Scott and Christopher Strachey. ''Toward a mathematical semantics for computer languages'' Oxford Programming Research Group Techn ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operational Semantics
Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Operational semantics are classified in two categories: structural operational semantics (or small-step semantics) formally describe how the ''individual steps'' of a computation take place in a computer-based system; by opposition natural semantics (or big-step semantics) describe how the ''overall results'' of the executions are obtained. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and denotational semantics. The operational semantics for a programming language describes how a valid program is interpreted as sequences of computational steps. These sequences then ''are'' the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Li Wei (computer Scientist)
Li Wei (; born June 8, 1943) The Ho Leung Ho Lee Foundation 2006. Retrieved 11 July 2011. is a Chinese computer scientist and a member of the . In 2002, he became President of . Education Li graduated from the Department of Mathematics and Mechanics, |
