School Of Informatics, University Of Edinburgh
   HOME
*



picture info

School Of Informatics, University Of Edinburgh
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 was ranked 12th in the world by the QS World University Rankings 2014. 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) by ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

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 recommend ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


AAAI Fellow
Fellowship of the Association for the Advancement of Artificial Intelligence (abbreviated as AAAI Fellow or FAAAI) is an award granted to individuals that the Association for the Advancement of Artificial Intelligence (AAAI), judged to have made "significant, sustained contributions — usually over at least a ten-year period — to the field of artificial intelligence" (AI). Only a small percentage of members are nominated Fellows of the AAAI. Nominations Between 5 and 10 fellows are nominated annually (since 1990) by current AAAI members. At the time of their nomination fellows have typically contributed to the field of AI for a decade or more after receiving their PhD or are at an equivalent career stage. A partial list of fellows including scientists and engineers such as Marvin Minsky, Edward Feigenbaum and Geoffrey Hinton can be found in the Fellows of the Association for the Advancement of Artificial Intelligence. A comprehensive list of fellows nominated since 1990 can ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


ACM Fellow
ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * Abstract Control Model, for USB to act as a serial port * Association for Computing Machinery, a US-based international learned society for computing * Asynchronous communication mechanism * Audio Compression Manager, Microsoft Windows codec manager Education * Allegany College of Maryland * Associated Colleges of the Midwest * Association for College Management Music * Academy of Contemporary Music, in Guildford, England, UK * Academy of Country Music * Association for Contemporary Music, in the Russian Federation Organizations or businesses * Alliance for Community Media * American Center for Mobility * American Ceylon Mission * Anaconda Copper Mining Company * Anti-Coalition Militia, anti-NATO Taliban in Afghanistan * Anti-cult ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Alan Bundy
Alan Richard Bundy 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''; in 1973, he was ap ...
[...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 Un ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Full-time Equivalent
Full-time equivalent (FTE), or whole time equivalent (WTE), is a unit that indicates the workload of an employee, 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. 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 ([35 hours per week * (52 weeks per year – 5 weeks' regulatory vacation)] / 4), then someone working 100 hours during that quarter represents 100/411.25 = 0.24 FTE. Two employ ...
[...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 higher ...
[...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 institu ...
[...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, Japanese dancer and actor * ''Peter'' (album), a 1993 EP by Canadian band Eric's Trip * ''Peter'' (1934 film), a 1934 film directed by Henry Koster * ''Peter'' (2021 film), 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 Animals * Peter, the Lord's cat, cat at Lord's Cricket Ground in London * Peter (chief mouser), Chief Mouser between 1929 and 1946 * Peter II (cat), Chief Mouser between 1946 and 1947 * Peter III (cat), Chief Mouser between 1947 a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Sethu Vijayakumar
Sethu Vijayakumar FRSE (born 1970) is Professor of Robotics at the University of Edinburgh and a judge on the BBC2 show '' Robot Wars''. He is the Programme co-Director for Artificial Intelligence at The Alan Turing Institute, the UK's National Institute for Data Science and Artificial Intelligence, with the responsibility for defining and driving the institute's Robotics and Autonomous Systems agenda. He co-founded the Edinburgh Centre for Robotics in 2015 and was instrumental in bringing the first NASA Valkyrie humanoid robot out of the United States of America, and to Europe, where is it a focus of research at the School of Informatics. He was elected as a Fellow of the Royal Society of Edinburgh in 2013. Vijayakumar's articles on Incremental Online Learning in high dimensions, Natural Actor-Critic and other robot learning related publications have been cited over 10000 times in academic papers and he is the recipient of the IEEE Transactions of Robotics (IEEE-TRO) King-Sun ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Alan
Alan may refer to: People *Alan (surname), an English and Turkish surname * Alan (given name), an English given name **List of people with given name Alan ''Following are people commonly referred to solely by "Alan" or by a homonymous name.'' *Alan (Chinese singer) (born 1987), female Chinese singer of Tibetan ethnicity, active in both China and Japan *Alan (Mexican singer) (born 1973), Mexican singer and actor * Alan (wrestler) (born 1975), a.k.a. Gato Eveready, who wrestles in Asistencia Asesoría y Administración *Alan (footballer, born 1979) (Alan Osório da Costa Silva), Brazilian footballer *Alan (footballer, born 1998) (Alan Cardoso de Andrade), Brazilian footballer *Alan I, King of Brittany (died 907), "the Great" *Alan II, Duke of Brittany (c. 900–952) * Alan III, Duke of Brittany(997–1040) *Alan IV, Duke of Brittany (c. 1063–1119), a.k.a. Alan Fergant ("the Younger" in Breton language) *Alan of Tewkesbury, 12th century abbott *Alan of Lynn (c. 1348–1423), 15th c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]