|
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] |
Informatics Forum
The Informatics Forum is a major building on the Central Area campus of the University of Edinburgh. Completed in 2008, it houses the research institutes of the university's School of Informatics. Design The Forum is designed by Bennetts Associates with Reiach and Hall, architects, and Buro Happold, engineers. The architects' brief was to provide a "forum for interaction" that will foster synergies among the 500 researchers in Informatics: Artificial Intelligence, Cognitive Science, Computer Science, and Systems Biology, who have been brought together, under one roof, by this development. The building was the first in Scotland to achieve a BREEAM rating of "excellent", and was constructed by Balfour Beatty. History One of the major recommendations of the 1997 international review that led to the formation of Informatics as an academic grouping at Edinburgh, was that the university should provide a building for the collocation of Informatics. An options appraisal recommen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Kousha Etessami
Kousha Etessami is a professor of computer science at the University of Edinburgh, Scotland, UK. He has received his Ph.D. from the University of Massachusetts Amherst in 1995. He works on theoretical computer science, in particular on computational complexity theory, game theory Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed ... and probabilistic systems. References External links * {{DEFAULTSORT:Etessami, Kousha Year of birth missing (living people) Living people Computer scientists Academics of the University of Edinburgh Theoretical computer scientists ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rod Burstall
Rodney Martineau Burstall (11 November 1934 – 13 February 2025) was a British computer scientist who was one of four founders of the Laboratory for Foundations of Computer Science at the University of Edinburgh. Biography Burstall studied physics at the University of Cambridge, then an M.Sc. in operational research at the University of Birmingham. He worked for three years before returning to Birmingham University to earn a Ph.D. in 1966 with thesis titled ''Heuristic and Decision Tree Methods on Computers: Some Operational Research Applications'' under the supervision of N. A. Dudley and K. B. Haley. Burstall was an early and influential proponent of functional programming, pattern matching, and list comprehension, and is known for his work with Robin Popplestone on COWSEL (renamed POP-1) and POP-2, innovative programming languages developed at the University of Edinburgh around 1970, and later work with John Darlington on NPL and program transformation and with Dav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christopher Bishop
Christopher Michael Bishop (born 7 April 1959) is a British computer scientist. He is a Microsoft Technical Fellow and Director oMicrosoft Research AI4Science He is also Honorary Professor of Computer Science at the University of Edinburgh, and a Fellow of Darwin College, Cambridge. Bishop was a founding member of thUK AI Council and in 2019 he was appointed to thPrime Minister’s Council for Science and Technology Early life and education Christopher Michael Bishop was born on 7 April 1959 in Norwich, England, to Leonard and Joyce Bishop. He was educated at Earlham School in Norwich, and obtained a Bachelor of Arts degree in physics from St Catherine's College, Oxford, and later a PhD in theoretical physics from the University of Edinburgh, with a thesis on quantum field theory supervised by David Wallace and Peter Higgs. Research and career Bishop investigates machine learning, in which computers are made to learn from data and experience. His former doctoral students in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Buneman
Oscar Peter Buneman (born 1943) is a British computer scientist who works in the areas of database systems and database theory. Education Buneman was educated at the University of Cambridge, where he was awarded a Bachelor of Arts while studying the Cambridge Mathematical Tripos from Gonville and Caius College, Cambridge. Buneman went on to study at the University of Warwick, where he received his PhD in 1970. Career Following his PhD, Buneman worked briefly at the University of Edinburgh, followed by a professorship of computer science at the University of Pennsylvania, which he held for several decades. In 2002, he moved to the University of Edinburgh, where he built up the database research group. He is one of the founders and the Associate Director of Research of the UK Digital Curation Centre, which is located in Edinburgh. Buneman is known for his research in database systems and database theory, in particular for establishing connections between databases and programming ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Bundy
Alan Richard Bundy (born 18 May 1947) is a professor at the School of Informatics at the University of Edinburgh,http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search. Education Alan Bundy was educated as a mathematician, obtaining an honours degree in mathematics in 1968 from the University of Leicester and a PhD in mathematical logic in 1971, also from Leicester. Career and research Since 1971, Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic, in 1974 was absorbed into the new Department of Artificial Intelligence, and in 1998 was absorbed into the new School of Informatics. From 1971 to 1973, he was a research fellow on Prof. B. Meltzer's Science and Engineering Research Council (SERC) grant ''Theorem Proving by Computer''; i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Malcolm Atkinson
Malcolm Phillip Atkinson (born 13 October 1943, Cornwall, UK) is a professor of e-Science, in the University of Edinburgh School of Informatics. He is known for his work in the areas of object-oriented databases, database systems, software engineering and e-Science and was the UK's first e-Science Envoy (2006–2011) and the Director of the e-Science Institute and National e-Science Centre, University of Edinburgh. Professional career Atkinson obtained his first degree from the University of Cambridge in 1966, followed by a Diploma in computer science in 1967. After three years research and teaching at Lancaster University he returned to Cambridge and was awarded his PhD in 1974. He then held academic posts in Burma, Cambridge, East Anglia and Edinburgh, being appointed to a senior lectureship at the University of Edinburgh in 1983. He was a visiting professor at the University of Pennsylvania during 1983–84 and was appointed to a professorship in computer science at the Uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Full-time Equivalent
Full-time equivalent (FTE), or whole time equivalent (WTE), is a unit of measurement that indicates the workload of an employed person (or student) in a way that makes workloads or class loads comparable across various contexts. FTE is often used to measure a worker's or student's involvement in a project, or to track cost reductions in an organization. An FTE of 1.0 is equivalent to a full-time worker or student, while an FTE of 0.5 signals half of a full work or school load. In government United States According to the federal government of the United States, FTE is defined by the Government Accountability Office (GAO) as the number of total hours worked divided by the maximum number of compensable hours in a full-time schedule as defined by law. For example, if the normal schedule for a quarter is defined as 411.25 hours ( 5 hours per week × (52 weeks per year – 5 weeks' regulatory vacation)/ 4), then someone working 100 hours during that quarter represents 100/411.25 = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Research Assessment Exercise
The Research Assessment Exercise (RAE) was an exercise undertaken approximately every five years on behalf of the four UK higher education funding councils ( HEFCE, SHEFC, HEFCW, DELNI) to evaluate the quality of research undertaken by British higher education institutions. RAE submissions from each subject area (or ''unit of assessment'') are given a rank by a subject specialist peer review panel. The rankings are used to inform the allocation of quality weighted research funding (QR) each higher education institution receives from their national funding council. Previous RAEs took place in 1986, 1989, 1992, 1996 and 2001. The most recent results were published in December 2008. It was replaced by the Research Excellence Framework (REF) in 2014. Various media have produced league tables of institutions and disciplines based on the 2008 RAE results. Different methodologies lead to similar but non-identical rankings. History The first exercise of assessing of research in highe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
HEFCE
The Higher Education Funding Council for England (HEFCE) was a non-departmental public body in the United Kingdom, which was responsible for the distribution of funding for higher education to universities and further education colleges in England since 1992. It ceased to exist as of 1 April 2018, when its duties were divided between the newly created Office for Students and Research England (operating within United Kingdom Research and Innovation). Most universities are charities and HEFCE (rather than the Charity Commission for England and Wales) was their principal regulator. HEFCE therefore had the duty to promote compliance with charity law by the universities for which it was responsible. History HEFCE was created by the Further and Higher Education Act 1992 (which also created the Further Education Funding Council for England (FEFC), replaced in 2001 by the Learning and Skills Council). On 1 June 2010 HEFCE became the principal regulator of those higher education instit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Dayan Royal Society
Peter may refer to: People * List of people named Peter, a list of people and fictional characters with the given name * Peter (given name) ** Saint Peter (died 60s), apostle of Jesus, leader of the early Christian Church * Peter (surname), a surname (including a list of people with the name) Culture * Peter (actor) (born 1952), stage name Shinnosuke Ikehata, a Japanese dancer and actor * ''Peter'' (1934 film), a film directed by Henry Koster * ''Peter'' (2021 film), a Marathi language film * "Peter" (''Fringe'' episode), an episode of the television series ''Fringe'' * ''Peter'' (novel), a 1908 book by Francis Hopkinson Smith * "Peter" (short story), an 1892 short story by Willa Cather * ''Peter'' (album), a 1972 album by Peter Yarrow * ''Peter'', a 1993 EP by Canadian band Eric's Trip * "Peter", 2024 song by Taylor Swift from '' The Tortured Poets Department: The Anthology'' Animals * Peter (Lord's cat), cat at Lord's Cricket Ground in London * Peter (chief mouser), Chi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
