|
Peter. W. O'Hearn
Peter William O'Hearn (born 13 July 1963 in Halifax, Nova Scotia), is a researcher aMeta AI (FAIR) 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.Peter W O'Hearn, Curriculum Vitae , |
Halifax, Nova Scotia
Halifax is the capital and most populous municipality of the Provinces and territories of Canada, Canadian province of Nova Scotia, and the most populous municipality in Atlantic Canada. As of 2024, it is estimated that the population of the Halifax Census Metropolitan Area, CMA was 530,167, with 348,634 people in its urban area. The regional municipality consists of four former municipalities that were Amalgamation (politics), amalgamated in 1996: History of Halifax (former city), Halifax, Dartmouth, Nova Scotia, Dartmouth, Bedford, Nova Scotia, Bedford, and Halifax County, Nova Scotia, Halifax County. Halifax is an economic centre of Atlantic Canada, home to a concentration of government offices and private companies. Major employers include the Canadian Armed Forces, Department of National Defence, Dalhousie University, Nova Scotia Health Authority, Saint Mary's University (Halifax), Saint Mary's University, the Halifax Shipyard, various levels of government, and the Port of ... [...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] |
John C
John is a common English name and surname: * John (given name) * John (surname) John may also refer to: New Testament Works * Gospel of John, a title often shortened to John * First Epistle of John, often shortened to 1 John * Second Epistle of John, often shortened to 2 John * Third Epistle of John, often shortened to 3 John People * John the Baptist (died ), regarded as a prophet and the forerunner of Jesus Christ * John the Apostle (died ), one of the twelve apostles of Jesus Christ * John the Evangelist, assigned author of the Fourth Gospel, once identified with the Apostle * John of Patmos, also known as John the Divine or John the Revelator, the author of the Book of Revelation, once identified with the Apostle * John the Presbyter, a figure either identified with or distinguished from the Apostle, the Evangelist and John of Patmos Other people with the given name Religious figures * John, father of Andrew the Apostle and Saint Peter * Pope John ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separation Logic
In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn, Samin Ishtiaq and Hongseok Yang, drawing upon early work by Rod Burstall. The assertion language of separation logic is a special case of the logic of bunched implications (BI). A CACM review article by O'Hearn charts developments in the subject to early 2019. Overview Separation logic facilitates reasoning about: * programs that manipulate pointer data structures—including information hiding in the presence of pointers; * ''"transfer of ownership"'' (avoidance of semantic frame axioms); and * virtual separation (modular reasoning) between concurrent modules. Separation logic supports the developing field of research described by Peter O'Hearn and others as ''local reasoning'', whereby specifications and proofs of a program component mention only the portion of memory used by the component, and not the entire global ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Queen Mary, University Of London
Queen Mary University of London (QMUL, or informally QM, and formerly Queen Mary and Westfield College) is a public research university in Mile End, East London, England. It is a member institution of the federal University of London. Today, Queen Mary has six campuses across East and Central London in Mile End, Whitechapel, Charterhouse Square, Ilford, Lincoln's Inn Fields and West Smithfield, as well as an international presence in China, France, Greece and Malta. The Mile End campus is the largest self-contained campus of any London-based university. Queen Mary is organised into three faculties – the Faculty of Humanities and Social Sciences, the Faculty of Science and Engineering, and Barts and The London School of Medicine and Dentistry. In 2023/24 the university had around 32,000 students. The annual income of the institution for 2023–24 was £712.2 million of which £146.8 million was from research grants and contracts, with an expenditure of £522.5 million. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontario
Ontario is the southernmost Provinces and territories of Canada, province of Canada. Located in Central Canada, Ontario is the Population of Canada by province and territory, country's most populous province. As of the 2021 Canadian census, it is home to 38.5% 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 of all the Canadian provinces and territories. It is home to the nation's capital, Ottawa, and its list of the largest municipalities in Canada by population, 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. To the south, it is bordered by the U.S. states of (from west to east) Minnesota, Michigan, Ohio, Pennsylvania, and New York (state), New York. Almost all of Ontario's border with the United States follows riv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kingston, Ontario
Kingston is a city in Ontario, Canada, on the northeastern end of Lake Ontario. It is at the beginning of the St. Lawrence River and at the mouth of the Cataraqui River, the south end of the Rideau Canal. Kingston is near the Thousand Islands, a tourist region to the east, and the Prince Edward County, Ontario, Prince Edward County tourist region to the west. Kingston is nicknamed the "Limestone City" because it has 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 New France, French trading post and military fort at a site known as "Cataraqui" (generally pronounced ) in 1673. The outpost, called Fort Cataraqui, and later Fort Frontenac, became a focus for settlement. After the Conquest of New France (1759–1763), the site of Kingston was relinquished to the British. Cataraqui was renamed K ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematics, mathematically rigorous techniques for the formal specification, specification, development, Program analysis, analysis, and formal verification, verification of software and computer hardware, 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 in computer science, logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Uses Formal methods can be applied at various points through the software development process, development process. Specification Formal methods may be used to give a formal description of the system to be developed, at whatever level of detail desired. F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Professor
Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, 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, and often to instructors or lecturers. Professors often conduct original research and commonly teach undergraduate, Postgraduate educa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Royal Society Wolfson Research Merit Award
The Royal Society Wolfson Fellowship, known as the Royal Society Wolfson Research Merit Award until 2020, is a 5 years fellowship awarded by the Royal Society since 2000. The scheme is 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.'' It is 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 are given in four annual rounds, with up to seven awards per round. Since 2021, the Royal Society Wolfson Fellowships program has expanded to include a Visiting Fellowship strand. Recipients Winners of this award (see ... [...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 Scholarship, fellowship for engineers who are recognised by the Royal Academy of Engineering as being the best and brightest engineers, inventors and technologists in United Kingdom, 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 engine ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
