School of Informatics, University of Edinburgh

University of Edinburgh School of Informatics

Informatikforumet , hem för Informatikhögskolan sedan 2008.
Etablerade	1998 ( 1998 )
Föräldraanstalt	University of Edinburgh
Skolchef	Jane Hillston
Akademisk personal	370
Administrativ personal	96
Studenter	1717
Studenter	1020
Forskarutbildade	697
Plats	Edinburgh , Skottland , Storbritannien
Hemsida	www .ed .ac .uk /informatik

School of Informatics är en akademisk enhet vid University of Edinburgh, i Skottland , ansvarig för forskning, undervisning, uppsökande och kommersialisering inom informatik . Det skapades 1998 från den tidigare avdelningen för artificiell intelligens, Centrum för kognitiv vetenskap och avdelningen för datavetenskap, tillsammans med Artificial Intelligence Applications Institute ( AIAI) och Human Communication Research Centre.

Forskningen vid Institutionen för informatik bygger på flera discipliner. Skolan är särskilt känd för forskning inom områdena artificiell intelligens , beräkningslingvistik , systembiologi , matematisk logik och teoretisk datavetenskap ; men bidrar också till många andra områden inom informatiken.

School of Informatics rankades 12:a i världen av QS World University Rankings 2014. Från och med 2022 är skolan rankad 1:a i Storbritannien enligt CSRankings , 1:a i Storbritannien i det senaste 2021 Research Excellence Framework (REF) av forskning makt, och 1:a i världen för naturlig språkbehandling (NLP).

Forskning

Professor Malcolm Atkinson

Professor Philip Wadler

Professor Austin Tate

Professor Gordon Plotkin

Professor Wenfei Fan

Professor Christopher Bishop

Professor Alan Bundy

Professor Sethu Vijayakumar

Professor Peter Dayan tilldelades Rumelhart-priset 2012 och The Brain Prize 2017. Han disputerade vid University of Edinburgh 1991.

School of Informatics tilldelades en 5*A i Storbritanniens HEFCE :s 2001 RAE , den enda datavetenskapliga avdelningen i landet som uppnådde detta högsta möjliga betyg. I 2008 års RAE var skolans "kvalitetsprofil" 35/50/15/0/0, vilket innebär att av de över 100 heltidsekvivalenter (FTE) personalens forskningsresultat som utvärderades, befanns 35 % vara "världsledande ( 4*)" och 50% "internationellt utmärkt (3*)". Dessa siffror kan tolkas på ett antal sätt, men placera skolan först efter volym och dela på andra plats (efter Cambridge med 45/45/10/0/0) efter procentandel av forskningen med betyget 3* eller 4*. Skolan anses allmänt vara världsledande och står tillsammans med de främsta amerikanska instituten, särskilt inom områden som artificiell intelligens, naturlig språkbehandling och maskinöversättning och teoretisk datavetenskap.

Skolan har ett antal forskningsinstitut:

Institutet för adaptiv och neural beräkning: ANC

ANC undersöker teoretiska och empiriska studier av hjärnans processer och artificiella inlärningssystem, med utgångspunkt i neurovetenskap, kognitionsvetenskap, datavetenskap, beräkningsvetenskap, matematik och statistik.

Artificiell intelligens och dess tillämpningsinstitut: AIAI

Tidigare känt som CISA (Centre for Intelligent Systems and their Applications), arbetar Artificial Intelligence and its Applications Institute (AIAI) på grunden för artificiell intelligens och autonoma system, och deras tillämpning på verkliga problem.

Institutet för språk, kognition och beräkningar: ILCC

ILCC bedriver forskning om alla aspekter av naturligt språkbehandling, utifrån maskininlärning, statistisk modellering och beräknings-, psykologiska och språkliga teorier om kommunikation mellan människor och mellan människor och maskiner med hjälp av text, tal och andra modaliteter.

Institutet för datorsystemarkitektur: ICSA

ICSA forskar om arkitektur och konstruktion av framtida datorsystem: prestanda och skalbarhet; innovativa algoritmer, arkitekturer, kompilatorer, språk och protokoll.

Institutet för perception, handling och beteende: IPAB

IPAB länkar beräkningsåtgärder, perception, representation, transformation och genereringsprocesser till verkliga eller virtuella världar: statistisk maskininlärning, datorseende, mobil och humanoid robotik, motorstyrning, grafik och visualisering.

Laboratorium för grunder för datavetenskap: LFCS

Huvudartikel: Laboratory for Foundations of Computer Science

LFCS Utvecklar och tillämpar grundläggande förståelse för beräkning och kommunikation: formella modeller, matematiska teorier och mjukvaruverktyg.

Senior akademisk personal och alumner

Nuvarande

Senior akademisk personal inkluderar:

• Malcolm Atkinson FRSE
• Alan Bundy CBE FRS FREng FACM FAAAI
• Peter Buneman MBE FRS FRSE FACM
• Christopher Biskop FRS FREng FRSE
• Rod Burstall FRSE , emeritus
• Kousha Etessami
• Wenfei Fan FRS FRSE MAE FACM
• Michael Fourman FRSE
• Igor Goryanin
• Dragan Gasevic
• Jane Hillston FRSE MAE
• Aggelos Kiayias FRSE
• Elham Kashefi
• Frank Keller
• Mirella Lapata FRSE MAE FACL
• Leonid Libkin FRSE MAE FACM
• Ursula Martin CBE FRSE FREng
• Johanna Moore FRSE
• Michael O'Boyle
• Gordon Plotkin FRS FRSE MAE FACM
• Don Sannella FRSE
• Mark Steedman FBA FRSE MAE FAAAI FACL
• Keith Stenning
• Amos Storkey
• Austin Tate FREng FRSE FAAAI
• Sethu Vijayakumar FRSE
• Philip Wadler FRSE FACM
• Barbara Webb
• Bonnie Webber FRSE FAAAI

Före detta

• Donald Michie FRSE , grundare av artificiell intelligens i Storbritannien
• Sidney Michaelson FRSE , stiftelseordförande för den tidigare datavetenskapsavdelningen.
• Jon Oberlander FRSE

Anmärkningsvärda alumner

Alumner från skolan för informatik inkluderar:

• Samson Abramsky FRS MAE FACM , datavetare vid University of Oxford
• Pat Ambler , skapare av Freddy II
• Joe Armstrong , skapare av programmeringsspråket Erlang och Open Telecom Platform (OTP)
• Andrew Blake FRS FREng , datavetare och tidigare chef för Microsoft Research , Cambridge och Alan Turing Institute i London
• Bob Boyer FAAAI , datavetare, matematiker, filosof vid University of Texas i Austin
• Alan W. Black , professor vid Language Technologies Institute , Carnegie Mellon University
• Justine Cassell FACM , professor vid Human–Computer Interaction Institute , Carnegie Mellon University
• Luca Cardelli FRS FRSE FACM , datavetare, biträdande direktör för Microsoft Research , Cambridge
• Ian Clarke , skapare av Freenet
• Rosemary Candlin , kristallograf och datavetare vid CERN
• Margarita Chli , ledare för Vision for Robotics Lab vid ETH Zürich
• John Darlington , emeritusprofessor, Imperial College London
• Bruce Davie , CTO för VMware
• Peter Dayan FRS , direktör vid Max Planck Institute for Biological Cybernetics i Tübingen, Tyskland
• Paul Dourish FACM , professor vid University of California, Irvine
• Carla Gomes FACM FAAAI , datavetare, grundare av Cornell University Institute for Computational Sustainability
• Leslie Ann Goldberg MAE , datavetare vid University of Oxford
• Jeremy Gibbons , professor i databehandling, University of Oxford
• Andrew Gordon på Microsoft Research
• Michael JC Gordon FRS (1948–2017), datavetare vid University of Cambridge
• Doug Gurr , global vicepresident och chef för Amazon UK
• Philippa Gardner FREng , professor i teoretisk datavetenskap vid Imperial College London
• Richard Gregory FRS FRSE (1923–2010), kognitionsvetare vid University of Bristol
• Pat Hayes FAAAI , senior forskare vid Institutet för mänsklig och maskinkognition i Pensacola, Florida
• Robert Harper (datavetare) FACM , professor i datavetenskap vid Carnegie Mellon University
• Matthew Hennessy MAE , medskapare av Hennessy–Milners logik
• Geoffrey Hinton FRS FAAAI , datavetare på Google Brain och vinnare av Turing Award .
• Xuedong Huang FACM , CTO för Microsoft Azure AI
• Auke Ijspeert , chef för Biorobotics Laboratory vid EPFL
• Mark H. Johnson FBA , kognitiv neuroforskare och hjärn-dator- gränssnittsforskare, chef för institutionen för psykologi vid University of Cambridge
• Mark Jerrum , professor i ren matematik vid University of London , Gödelpristagare
• Philipp Koehn , professor i maskinöversättning vid Johns Hopkins University
• Robert Kowalski FACM FAAAI , logiker vars tolkning av Hornklausulen i Edinburgh blev avgörande för skapandet av Prolog
• Lǐ Wèi , matematiker och datavetare, rektor för Beihang University
• Christopher Longuet-Higgins (1923–2004) FRS FRSE FRSA , kognitionsvetare
• Robin Milner FRS FRSE FACM (1934–2010), datavetare, vinnare av Turing Award
• Eugenio Moggi , den första som uttryckligen kopplade kategoriteorins monad till funktionell programmering
• J Strother Moore FRSE FACM FAAAI , datavetare vid University of Texas i Austin
• Stephen Muggleton FREng FAAAI , chef för Computational Bioinformatics Laboratory vid Imperial College London
• Alan Mycroft , professor vid Computer Laboratory, University of Cambridge
• Timothy O'Shea FRSE , emeritusprofessor och tidigare rektor och vice rektor vid University of Edinburgh
• Robin Popplestone FAAAI (1938–2004), skapare av COWSEL och POP-2
• Martha Palmer FACL , skapare av PropBank och VerbNet
• Benjamin C. Pierce , Henry Salvatori Professor i datavetenskap vid University of Pennsylvania
• Lars Rasmussen (mjukvaruutvecklare) , medgrundare av Google Maps , tidigare chef för teknik (CTO) för Facebook London.
• John C. Reynolds (1935–2013) FACM , uppfinnare av System F och professor i datavetenskap vid Carnegie Mellon University
• Davide Sangiorgi MAE , professor vid universitetet i Bologna
• Nigel Shadbolt FRS FREng , ordförande för Open Data Institute (ODI) och mästare på Jesus College, Oxford
• Alistair Sinclair , professor vid University of California, Berkeley , Gödelpristagare
• Aaron Sloman FAAAI , filosof, kognitionsvetare vid University of Birmingham
• Chris Tofts , forskare vid Hewlett-Packard
• Mads Tofte , professor vid IT-universitetet i Köpenhamn
• Leslie Valiant FRS FAAAI , vinnare av Turing Award 2010 och professor vid Harvard University
• Lincoln Wallen , CTO för Improbable , tidigare CTO för DreamWorks Animation
• Toby Walsh FACM FAAAI , professor i artificiell intelligens vid UNSW
• Hanna Wallach på Microsoft Research
• David HD Warren , skapare av Warren Abstract Machine
• Andrew Zisserman FRS , datavetare vid Google DeepMind och University of Oxford

boende

Cowgate -branden 2002 förstörde ett antal byggnader, inklusive 80 South Bridge, som inhyste ungefär en fjärdedel av skolan och dess berömda AI-bibliotek. I januari 2003 gjordes utrymme tillgängligt i universitetets Appleton Tower som en ersättning.

Fram till juni 2008 var skolan spridd över fem platser: tre på George Square Campus: Appleton Tower, Buccleuch Place, Forrest Hill; och två vid King's Buildings : James Clerk Maxwell Building och Darwin Building.

I juni och juli 2008 flyttade skolans forskning in i sitt nya hem, Informatikforum . Byggnaden, designad av Bennetts Associates , Reaich and Hall och Buro Happold , nu hyser cirka 500 forskare, inklusive personal och doktorander. Bygget påbörjades i oktober 2005 och forumets färdigställande i juli 2008 samlade slutligen skolans forskare under ett tak, cirka tio år efter starten.

I augusti 2018 fick skolan ytterligare ett forskningsutrymme i form av Bayes Centre, ett specialbyggt nav för datavetenskap och artificiell intelligens som delas med flera andra datavetenskaps- och informatikgrupper, såväl som universitetets Maxwell Graduate Institute, som omfattar doktorsexamen forskningsresultat från de matematiska institutionerna vid både Edinburgh och Heriot-Watt University .

Se även

• Edinburgh Parallel Computing Center
• ML
• Prolog
• Li-Fi
• WxWidgets
• Moses
• Hoppas
• NPL
• Freddy II
• Festivaltalsyntessystem
• LCF
• Edinburgh Multiple Access System
• Edinburgh IMP
• QCDOC
• Symbolisk artificiell intelligens
• Lighthill rapport