|
Peter W. O'Hearn
Peter William O'Hearn One or more of the preceding sentences incorporates text from the royalsociety.org website where: (born 13 July 1963 in Halifax, Nova Scotia), formerly a research scientist at Meta, is a Distinguished Engineer at Lacework and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases. Education O'Hearn attained a BSc degree in computer science from Dalhousie University, Halifax, Nova Scotia (1985), followed by MSc (1987) and PhD (1991) degrees from Queen's University, Kingston, Ontario, Canada. His dissertation was on ''Semantics of Non-interference: A natural approach'', supervised by Robert D. Tennent. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Society
The Royal Society, formally The Royal Society of London for Improving Natural Knowledge, is a learned society and the United Kingdom's national academy of sciences. The society fulfils a number of roles: promoting science and its benefits, recognising excellence in science, supporting outstanding science, providing scientific advice for policy, education and public engagement and fostering international and global co-operation. Founded on 28 November 1660, it was granted a royal charter by King Charles II as The Royal Society and is the oldest continuously existing scientific academy in the world. The society is governed by its Council, which is chaired by the Society's President, according to a set of statutes and standing orders. The members of Council and the President are elected from and by its Fellows, the basic members of the society, who are themselves elected by existing Fellows. , there are about 1,700 fellows, allowed to use the postnominal title FRS (Fellow of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philip Wadler
Philip Lee Wadler (born April 8, 1956) is an American computer scientist known for his contributions to programming language design and type theory. He is the chair of Theoretical Computer Science at the Laboratory for Foundations of Computer Science at School of Informatics, University of Edinburgh. He has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper ''Theorems for free!'' that gave rise to much research on functional language optimization (see also Parametricity). Education Wadler received a Bachelor of Science degree in mathematics from Stanford University in 1977, and a Master of Science degree in Computer Science from Carnegie Mellon University in 1979. He completed his Doctor of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontario
Ontario ( ; ) is one of the thirteen provinces and territories of Canada.Ontario is located in the geographic eastern half of Canada, but it has historically and politically been considered to be part of Central Canada. Located in Central Canada, it is Canada's most populous province, with 38.3 percent of the country's population, and is the second-largest province by total area (after Quebec). Ontario is Canada's fourth-largest jurisdiction in total area when the territories of the Northwest Territories and Nunavut are included. It is home to the nation's capital city, Ottawa, and the nation's most populous city, Toronto, which is Ontario's provincial capital. Ontario is bordered by the province of Manitoba to the west, Hudson Bay and James Bay to the north, and Quebec to the east and northeast, and to the south by the U.S. states of (from west to east) Minnesota, Michigan, Ohio, Pennsylvania, and New York. Almost all of Ontario's border with the United States f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kingston, Ontario
Kingston is a city in Ontario, Canada. It is located on the north-eastern end of Lake Ontario, at the beginning of the St. Lawrence River and at the mouth of the Cataraqui River (south end of the Rideau Canal). The city is midway between Toronto, Ontario and Montreal, Quebec. Kingston is also located nearby the Thousand Islands, a tourist region to the east, and the Prince Edward County tourist region to the west. Kingston is nicknamed the "Limestone City" because of the many heritage buildings constructed using local limestone. Growing European exploration in the 17th century, and the desire for the Europeans to establish a presence close to local Native occupants to control trade, led to the founding of a French trading post and military fort at a site known as "Cataraqui" (generally pronounced /kætə'ɹɑkweɪ/, "kah-tah-ROCK-way") in 1673. This outpost, called Fort Cataraqui, and later Fort Frontenac, became a focus for settlement. Since 1760, the site of Kingston, Ont ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. 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 for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Professor
Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors are usually experts in their field and teachers of the highest rank. In most systems of List of academic ranks, academic ranks, "professor" as an unqualified title refers only to the most senior academic position, sometimes informally known as "full professor". In some countries and institutions, the word "professor" is also used in titles of lower ranks such as associate professor and assistant professor; this is particularly the case in the United States, where the unqualified word is also used colloquially to refer to associate and assistant professors as well. This usage would be considered incorrect among other academic communities. However, the otherwise unqualified title "Professor" designated with a capital let ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Creative Commons License
A Creative Commons (CC) license is one of several public copyright licenses that enable the free distribution of an otherwise copyrighted "work".A "work" is any creative material made by a person. A painting, a graphic, a book, a song/lyrics to a song, or a photograph of almost anything are all examples of "works". A CC license is used when an author wants to give other people the right to share, use, and build upon a work that the author has created. CC provides an author flexibility (for example, they might choose to allow only non-commercial uses of a given work) and protects the people who use or redistribute an author's work from concerns of copyright infringement as long as they abide by the conditions that are specified in the license by which the author distributes the work. There are several types of Creative Commons licenses. Each license differs by several combinations that condition the terms of distribution. They were initially released on December 16, 2002, by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Society Wolfson Research Merit Award
The Royal Society Wolfson Research Merit Award was an award made by the Royal Society from 2000 to 2020. It was administered by the Royal Society and jointly funded by the Wolfson Foundation and the UK Office of Science and Technology, to provide universities "with additional financial support to attract key researchers to this country or to retain those who might seek to gain higher salaries elsewhere." to tackle the brain drain. They were given in four annual rounds, with up to seven awards per round. In 2020 the scheme was replaced by the Royal Society Wolfson Fellowship, described by the Royal Society as providing ''long-term flexible funding for senior career researchers recruited or retained to a UK university or research institution in fields identified as a strategic priority for the host department or organisation.'' Recipients Winners of this award (see Royal Society Wolfson Research Merit Award holders) award included: * Sue Black * Samuel L. Braunstein * Martin Br ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fellow Of The Royal Academy Of Engineering
Fellowship of the Royal Academy of Engineering (FREng) is an award and fellowship for engineers who are recognised by the Royal Academy of Engineering as being the best and brightest engineers, inventors and technologists in the UK and from around the world to promote excellence in engineering and to enhance and support engineering research, policy formation, education and entrepreneurship and other activities that advance and enrich engineering in all its forms. Fellowship is a significant honour. Up to 60 engineers are elected each year by their peers. Honorary and International Fellows are those who have made exceptional contributions to engineering. The criteria for election are stated in the charter, statutes, and regulations document. The essential attributes of excellence in engineering include: * Organisation and department leaders: those with full responsibility on technical decisions, those who have demonstrated significant personal engineering achievements * Top Engi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gödel Prize
The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery Special Interest Group on Algorithms and Computational Theory (ACM SIGACT). The award is named in honor of Kurt Gödel. Gödel's connection to theoretical computer science is that he was the first to mention the " P versus NP" question, in a 1956 letter to John von Neumann in which Gödel asked whether a certain NP-complete problem could be solved in quadratic or linear time. The Gödel Prize has been awarded since 1993. The prize is awarded either at STOC (ACM Symposium on Theory of Computing, one of the main North American conferences in theoretical computer science) or ICALP (International Colloquium on Automata, Languages and Programming, one of the main European conferences in the field). To be eligible for the prize, a paper must be published ... [...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 judges 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". Fellow, Fellowship of the Society, the oldest known scientific academy in continuous existence, is a significant honour. It has been awarded to many eminent scientists throughout history, including Isaac Newton (1672), Michael Faraday (1824), Charles Darwin (1839), Ernest Rutherford (1903), Srinivasa Ramanujan (1918), Albert Einstein (1921), Paul Dirac (1930), Winston Churchill (1941), Subrahmanyan Chandrasekhar (1944), Dorothy Hodgkin (1947), Alan Turing (1951), Lise Meitner (1955) and Francis Crick (1959). More recently, fellowship has been awarded to Stephen Hawking (1974), David Attenborough (1983), Tim Hunt (1991), Elizabeth Blackburn (1992), Tim Berners-Lee (2001), Venki R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
