2177:
181:
40:
315:
383:(FTE) staff research outputs evaluated, 35% were found "world-leading (4*)" and 50% "internationally excellent (3*)". These figures can be interpreted in a number of ways, but place the School first by volume and tied for second (following Cambridge with 45/45/10/0/0) by percentage of research rated 3* or 4*. The School is generally considered world-leading, standing with the foremost U.S. institutes, particularly in areas such as artificial intelligence, natural language processing and machine translation, and theoretical computer science.
348:
304:
282:
2853:
2889:
337:
326:
2877:
1925:
1669:
260:
293:
2865:
271:
1402:
In August 2018, the School gained another research space in the form of the Bayes Centre, a purpose-built data science and
Artificial Intelligence hub shared with multiple other data science and informatics groups, as well as the University's Maxwell Graduate Institute, encompassing the PhD research
412:
ILCC performs research on all aspects of natural language processing, drawing on machine learning, statistical modeling, and computational, psychological, and linguistic theories of communication among humans and between humans and machines using text, speech and other modalities.
403:
Previously known as CISA (Centre for
Intelligent Systems and their Applications), the Artificial Intelligence and its Applications Institute (AIAI) works on the foundations of artificial intelligence and autonomous systems, and their application to real-world problems.
1399:, now houses some 500 researchers, including staff and graduate students. Construction began in October 2005, and the Forum's completion in July 2008 finally brought the School's researchers together, under one roof, some ten years after its inception.
429:
IPAB links computational action, perception, representation, transformation and generation processes to real or virtual worlds: statistical machine learning, computer vision, mobile and humanoid robotics, motor control, graphics and visualization.
394:
ANC investigates theoretical and empirical study of brain processes and artificial learning systems, drawing on neuroscience, cognitive science, computer science, computational science, mathematics and statistics.
2320:
1373:
destroyed a number of buildings, including 80 South Bridge, which housed around a quarter of the school and its renowned AI library. By
January 2003, space was made available in the University's
2315:
421:
ICSA performs research on architecture and engineering of future computing systems: performance and scalability; innovative algorithms, architectures, compilers, languages and protocols.
2344:
2305:
2233:
2325:
2460:
17:
2952:
2440:
2228:
205:. 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
2363:
2300:
2908:
2383:
2957:
2947:
2838:
2259:
1380:
Until June 2008, the School was dispersed over five sites: three in the George Square Campus: Appleton Tower, Buccleuch Place, Forrest Hill; and two at
2330:
2131:
2090:
444:
The LFCS Develops and applies foundational understanding of computation and communication: formal models, mathematical theories, and software tools.
2450:
995:
2967:
812:
2470:
2455:
2395:
2373:
2254:
1481:
439:
206:
2684:
2653:
2191:
2808:
2628:
2368:
1122:
2285:
2410:
852:
2787:
2354:
2120:
2109:
937:
2972:
2868:
2699:
2480:
1080:
736:
212:
Research in the School of
Informatics draws on multiple disciplines. The school is particularly known for research in the areas of
2892:
1721:
2280:
2221:
2756:
2349:
2249:
2415:
2166:
2142:
2083:
2751:
2598:
2435:
1416:
1168:
2741:
2400:
1234:
943:
2689:
2856:
2709:
2425:
2405:
2076:
1466:
1456:
902:
827:
2962:
2828:
2771:
2295:
755:
723:
2704:
2136:
1461:
1094:
1558:
2578:
2543:
1327:
1104:
714:
687:
244:
2880:
2007:
375:, the only computer science department in the country to achieve this highest possible rating. In the 2008
2633:
2623:
2568:
2465:
1004:
915:
376:
372:
236:
229:
2833:
2694:
2335:
1598:
1441:
1436:
1275:
1076:
1066:
1057:
691:
248:
2818:
2608:
2495:
2490:
2430:
1753:
1446:
1190:
1163:
947:
740:
727:
683:
1703:
2731:
2216:
2176:
1421:
956:
217:
180:
1506:
2714:
2668:
2613:
2573:
2290:
1306:
1248:
1039:
799:
696:
2813:
2779:
2548:
2475:
2420:
2099:
2058:
1951:
1345:
1323:
1212:
1208:
1113:
1008:
979:
919:
888:
790:
638:
213:
194:
119:
74:
2593:
1940:
1531:
1404:
129:
1370:
2803:
2746:
2558:
2445:
1225:
1199:
928:
704:
1917:
1661:
1130:, emeritus professor and former principal and vice-chancellor of the University of Edinburgh
39:
2724:
2648:
2643:
2533:
2310:
2196:
2125:
1959:
1358:
1314:
1310:
1284:
1021:
884:
870:
861:
669:
380:
314:
2888:
1981:
8:
2658:
2583:
1392:
1381:
1221:
1035:
857:
2719:
2563:
1341:
1336:
1297:
1159:
1061:
879:
849:
840:
749:
700:
567:
476:
319:
225:
2876:
1924:
1668:
2618:
2553:
1946:
1905:
1388:
1230:
1133:
1127:
1109:
644:
607:
341:
45:
1685:
379:, the School's "Quality Profile" was 35/50/15/0/0, which means that of the over 100
2823:
2736:
2663:
2513:
2485:
2154:
1955:
1897:
1649:
1564:. Governance & Strategic Planning, The University of Edinburgh. 31 January 2018
1486:
1350:
1195:
1182:
1100:
1017:
952:
933:
911:
897:
875:
764:
507:
461:
264:
1966:
2766:
2638:
2211:
2206:
2160:
1639:
1280:
1262:
1257:
1044:
1000:
986:
961:
924:
786:
768:
732:
710:
665:
587:
542:
522:
497:
487:
360:
356:
221:
1887:
2761:
2528:
2523:
2201:
2147:
1374:
1302:
1289:
1217:
866:
832:
777:
650:
592:
572:
537:
512:
398:
297:
1624:
1238:
1025:
2941:
2923:
2910:
2603:
2538:
1471:
1332:
1146:
1090:
1031:
991:
975:
745:
719:
634:
622:
612:
582:
562:
557:
552:
547:
527:
517:
502:
471:
281:
275:
1909:
781:
347:
1584:
1396:
1293:
1244:
1204:
1118:
1085:
1072:
969:
965:
818:
617:
597:
577:
532:
481:
407:
303:
84:
2068:
1868:
1532:"Staff Headcount & Full Time Equivalent Statistics (FTE) as at Oct 17"
1387:
In June and July 2008, the School's research moved into its new home, the
2588:
1253:
1172:
1048:
1013:
845:
808:
795:
602:
352:
286:
202:
259:
201:, responsible for research, teaching, outreach and commercialisation in
2518:
1319:
1271:
822:
674:
492:
466:
433:
330:
308:
2033:
1722:"Informatics News: RAE 2008 results: Informatics and Computer Science"
1653:
424:
1901:
1451:
1431:
983:
893:
678:
416:
389:
363:
in 2017. He completed his PhD at the
University of Edinburgh in 1991.
143:
336:
1354:
1186:
1176:
1150:
906:
325:
198:
1509:. University of Edinburgh School of Informatics. 11 September 2018
239:
2023. As of 2022, the school is ranked 1st in the UK according to
163:
1850:
1154:
759:
292:
2234:
Edinburgh and St
Andrews Universities Parliamentary Constituency
1832:
1814:
1796:
1778:
1736:"Welcome â ANC - Institute for Adaptive and Neural Computation"
1426:
1137:
1052:
803:
1913:
1657:
1476:
1141:
836:
368:
235:
The School of
Informatics is ranked 20th in the world by the
1534:. Human Resources, The University of Edinburgh. October 2018
1403:
output of the mathematics departments at both
Edinburgh and
399:
Artificial
Intelligence and its Applications Institute: AIAI
1735:
1266:
772:
647:
foundation chair of the former computer science department.
232:; but also contributes to many other areas of informatics.
270:
2229:
Combined
Scottish Universities Parliamentary Constituency
1384:: James Clerk Maxwell Building, and the Darwin Building.
1112:, Head of the Computational Bioinformatics Laboratory at
1007:
researcher, head of the department of psychology at the
713:, computer scientist, mathematician, philosopher at the
408:
Institute for Language, Cognition, and Computation: ILCC
1641:
Reinforcing connectionism: learning the statistical way
1162:, Henry Salvatori Professor of computer science at the
2025:
1714:
367:
The School of Informatics was awarded a 5*A in the UK
2839:
Zhejiang University-University of Edinburgh Institute
1599:"Research rankings confirm Edinburgh as world leader"
1060:, mathematician and computer scientist, President of
1051:
at Edinburgh became instrumental in the creation of
434:
Laboratory for Foundations of Computer Science: LFCS
209:(AIAI) and the Human Communication Research Centre.
447:
425:
Institute of Perception, Action and Behaviour: IPAB
2953:Computer science departments in the United Kingdom
1939:
417:Institute for Computing Systems Architecture: ICSA
390:Institute for Adaptive and Neural Computation: ANC
247:(REF) by research power, and 1st in the world for
1680:
1678:
2939:
2277:College of Arts, Humanities and Social Sciences
386:The School has a number of research Institutes:
1084:(1934â2010), computer scientist, winner of the
848:, computer scientist, founding director of the
813:Max Planck Institute for Biological Cybernetics
1696:
1675:
440:Laboratory for Foundations of Computer Science
207:Artificial Intelligence Applications Institute
48:, home to the School of Informatics since 2008
2958:Universities and colleges established in 1998
2948:University of Edinburgh School of Informatics
2084:
1559:"University of Edinburgh Factsheet 2017/2018"
661:Alumni of the school of informatics include:
33:University of Edinburgh School of Informatics
18:University of Edinburgh School of Informatics
2629:Royal Hospital for Children and Young People
2321:Philosophy, Psychology and Language Sciences
1999:
1973:
1123:Computer Laboratory, University of Cambridge
1097:of category theory to functional programming
748:, computer scientist, Assistant Director of
699:, computer scientist and former director of
2345:College of Medicine and Veterinary Medicine
2098:
1553:
1551:
1549:
780:, leader of the Vision for Robotics Lab at
2091:
2077:
1247:, philosopher, cognitive scientist at the
1175:, former director of engineering (CTO) of
853:Institute for Computational Sustainability
179:
2788:University Royal Naval Unit East Scotland
2355:Royal (Dick) School of Veterinary Studies
938:Institute for Human and Machine Cognition
2005:
1546:
994:, head of the biorobotics laboratory at
927:(1923â2010), cognitive scientist at the
346:
335:
324:
313:
302:
291:
280:
269:
258:
2222:Privileged bodies of the United Kingdom
2006:agencies, Staff and (9 December 2002).
1954: ed.). A & C Black.
1931:
1896:(PhD thesis). University of Edinburgh.
1526:
1524:
1047:, logician whose interpretation of the
887:(1948â2017), computer scientist at the
14:
2968:Schools of the University of Edinburgh
2940:
1982:"Fire devastates Edinburgh's Old Town"
1979:
1885:
1622:
1582:
2072:
1861:
1637:
1211:Computing Education Research Centre,
1189:and professor of computer science at
2864:
2752:Edinburgh University Theatre Company
1960:10.1093/ww/9780199540884.013.U245873
1937:
1754:"CISA is changing its name | InfWeb"
1521:
896:, global vice-president and head of
737:HumanâComputer Interaction Institute
2316:Literatures, Languages and Cultures
2031:
2008:"Edinburgh AI archive lost in fire"
1417:Edinburgh Parallel Computing Centre
1169:Lars Rasmussen (Software Developer)
946:, professor of computer science at
936:, senior research scientist at the
243:, 1st in the UK in the latest 2021
24:
2392:Sub-units, centres and institutes
2364:College of Science and Engineering
1980:Seenan, Gerard (9 December 2002).
1704:"RAE 2008 : Quality profiles"
1631:
1235:University of California, Berkeley
944:Robert Harper (computer scientist)
25:
2984:
2306:History, Classics and Archaeology
1889:Relaxation and its role in vision
1886:Hinton, Geoffrey Everest (1977).
656:
2887:
2875:
2863:
2852:
2851:
2175:
1923:
1667:
1482:Symbolic artificial intelligence
1467:Edinburgh Multiple Access System
1457:Festival Speech Synthesis System
1364:
1069:(1923â2004), cognitive scientist
828:University of California, Irvine
448:Senior academic staff and alumni
38:
2973:1998 establishments in Scotland
2829:James Tait Black Memorial Prize
2654:St Albert's Catholic Chaplaincy
2051:
1941:"Shadbolt, Prof. Nigel Richard"
1879:
1843:
1825:
1807:
1789:
1771:
1746:
1728:
1353:, computer scientist at Google
1093:, first to explicitly link the
1003:, cognitive neuroscientist and
905:, computer scientist at Google
724:Language Technologies Institute
457:Senior academic staff include:
1616:
1591:
1576:
1499:
13:
1:
2579:Gordon Aikman Lecture Theatre
1492:
1105:University of Texas at Austin
715:University of Texas at Austin
245:Research Excellence Framework
2624:Royal Infirmary of Edinburgh
2466:Koestler Parapsychology Unit
2326:Social and Political Science
2059:"Groups within Bayes Centre"
1967:UK public library membership
1638:Dayan, Peter Samuel (1991).
1391:. The building, designed by
1103:, computer scientist at the
916:theoretical computer science
860:, computer scientist at the
668:, computer scientist at the
237:QS World University Rankings
230:theoretical computer science
27:Higher education institution
7:
2336:Edinburgh Futures Institute
1873:The University of Edinburgh
1603:The University of Edinburgh
1410:
1276:IT University of Copenhagen
1067:Christopher Longuet-Higgins
692:Open Telecom Platform (OTP)
254:
249:natural language processing
193:is an academic unit of the
10:
2989:
2819:Edinburgh University Press
1191:Carnegie Mellon University
1164:University of Pennsylvania
948:Carnegie Mellon University
869:, professor of computing,
771:and computer scientist at
741:Carnegie Mellon University
728:Carnegie Mellon University
452:
437:
2847:
2796:
2677:
2506:
2268:
2242:
2217:Polish School of Medicine
2184:
2173:
2108:
1686:"RAE 2001 : Results"
1623:Berger, Emery D. (2020).
1583:Berger, Emery D. (2020).
1296:in 2010 and professor at
1185:(1935â2013), inventor of
690:programming language and
628:
218:computational linguistics
178:
158:
138:
128:
118:
110:
100:
90:
80:
68:
53:
37:
2834:Scotland's Rural College
2767:FreshAir (student radio)
2669:Western General Hospital
2331:Centre for Open Learning
2301:Health in Social Science
2291:Edinburgh College of Art
2034:"Emergency Arrangements"
1851:"Welcome to LFCS â LFCS"
1283:, research scientist at
1249:University of Birmingham
1136:(1938â2004), creator of
1040:Johns Hopkins University
1005:Brainâcomputer interface
964:, computer scientist at
2814:Edinburgh Stanford Link
2101:University of Edinburgh
2032:Fourman, Michael Paul.
1952:Oxford University Press
1346:Warren Abstract Machine
1324:artificial intelligence
1213:University of Cambridge
1209:Raspberry Pi Foundation
1114:Imperial College London
1009:University of Cambridge
920:Imperial College London
889:University of Cambridge
791:Imperial College London
639:Artificial Intelligence
214:artificial intelligence
195:University of Edinburgh
75:University of Edinburgh
2963:Schools of informatics
2720:The Scottish Boat Race
2260:List of professorships
2255:List of medical people
2250:List of notable people
1405:Heriot-Watt University
1395:, Reaich and Hall and
789:, emeritus professor,
364:
344:
333:
322:
311:
300:
289:
278:
267:
2804:Alan Turing Institute
2747:Royal Medical Society
2700:Women's Football Club
2685:Students' Association
2549:Forrest Hill Building
2446:Euan MacDonald Centre
2384:Physics and Astronomy
1226:Jesus College, Oxford
1200:University of Bologna
957:HennessyâMilner logic
940:in Pensacola, Florida
929:University of Bristol
705:Alan Turing Institute
350:
339:
328:
317:
306:
295:
284:
273:
262:
191:School of Informatics
2924:55.94444°N 3.18722°W
2725:The Scottish Varsity
2126:Anne, Princess Royal
1950:(online edition via
1359:University of Oxford
1315:DreamWorks Animation
1285:Boeing Phantom Works
1224:(ODI) and master of
1022:University of London
885:Michael J. C. Gordon
871:University of Oxford
862:University of Oxford
835:, vice president of
815:in TĂŒbingen, Germany
670:University of Oxford
381:Full-time equivalent
102:Administrative staff
2920: /
2715:Rugby Football Club
2695:Men's Football Club
2659:Talbot Rice Gallery
2137:Sir Peter Mathieson
1393:Bennetts Associates
1274:, professor at the
1222:Open Data Institute
1198:, professor at the
1121:, professor at the
1036:machine translation
858:Leslie Ann Goldberg
839:, president of the
826:, professor at the
735:, professor at the
722:, professor at the
34:
2929:55.94444; -3.18722
2564:Lauriston Building
2559:Lady Yester's Kirk
2161:Senatus Academicus
1918:uk.bl.ethos.482889
1662:uk.bl.ethos.649240
1377:as a replacement.
1342:David H. D. Warren
1337:Microsoft Research
1298:Harvard University
1220:, Chairman of the
1207:, director of the
1160:Benjamin C. Pierce
1062:Beihang University
968:and winner of the
880:Microsoft Research
850:Cornell University
841:CTuning foundation
811:, director at the
750:Microsoft Research
701:Microsoft Research
477:Christopher Bishop
365:
345:
334:
323:
320:Christopher Bishop
312:
301:
290:
279:
268:
226:mathematical logic
70:Parent institution
32:
2903:
2902:
2757:Socialist Society
2710:Men's Hockey Club
2649:St Leonard's Hall
2644:St Cecilia's Hall
2634:Royal Observatory
2619:Reid Concert Hall
2554:Informatics Forum
1965:(Subscription or
1855:wcms.inf.ed.ac.uk
1389:Informatics Forum
1371:2002 Cowgate fire
1344:, creator of the
1231:Alistair Sinclair
1134:Robin Popplestone
1110:Stephen Muggleton
645:Sidney Michaelson
608:Sethu Vijayakumar
342:Sethu Vijayakumar
187:
186:
46:Informatics Forum
16:(Redirected from
2980:
2935:
2934:
2932:
2931:
2930:
2925:
2921:
2918:
2917:
2916:
2913:
2895:
2891:
2883:
2879:
2871:
2867:
2866:
2859:
2855:
2854:
2824:Gifford Lectures
2737:Meadows Marathon
2664:Teviot Row House
2584:King's Buildings
2514:40 George Square
2491:Scottish Studies
2486:Roslin Institute
2179:
2155:University Court
2112:
2102:
2093:
2086:
2079:
2070:
2069:
2063:
2062:
2055:
2049:
2048:
2046:
2044:
2038:www.inf.ed.ac.uk
2029:
2023:
2022:
2020:
2018:
2003:
1997:
1996:
1994:
1992:
1977:
1971:
1970:
1963:
1943:
1935:
1929:
1928:
1927:
1921:
1883:
1877:
1876:
1865:
1859:
1858:
1847:
1841:
1840:
1837:web.inf.ed.ac.uk
1829:
1823:
1822:
1819:web.inf.ed.ac.uk
1811:
1805:
1804:
1801:web.inf.ed.ac.uk
1793:
1787:
1786:
1783:web.inf.ed.ac.uk
1775:
1769:
1768:
1766:
1764:
1758:web.inf.ed.ac.uk
1750:
1744:
1743:
1740:www.anc.ed.ac.uk
1732:
1726:
1725:
1718:
1712:
1711:
1700:
1694:
1693:
1682:
1673:
1672:
1671:
1665:
1635:
1629:
1628:
1620:
1614:
1613:
1611:
1609:
1595:
1589:
1588:
1580:
1574:
1573:
1571:
1569:
1563:
1555:
1544:
1543:
1541:
1539:
1528:
1519:
1518:
1516:
1514:
1503:
1487:Lighthill report
1382:King's Buildings
1351:Andrew Zisserman
1313:, former CTO of
1292:, winner of the
1196:Davide Sangiorgi
1183:John C. Reynolds
1171:, co-founder of
1101:J Strother Moore
1083:
1018:pure mathematics
955:, co-creator of
953:Matthew Hennessy
912:Philippa Gardner
825:
769:crystallographer
765:Rosemary Candlin
703:, Cambridge and
508:Sharon Goldwater
462:Malcolm Atkinson
355:was awarded the
265:Malcolm Atkinson
183:
174:
171:
169:
167:
165:
64:
62:
42:
35:
31:
21:
2988:
2987:
2983:
2982:
2981:
2979:
2978:
2977:
2938:
2937:
2928:
2926:
2922:
2919:
2914:
2911:
2909:
2907:
2906:
2904:
2899:
2893:
2881:
2869:
2857:
2843:
2792:
2732:Labour Students
2673:
2639:Salisbury Green
2544:Deaconess House
2502:
2481:Nursing Studies
2270:
2264:
2238:
2212:Plinian Society
2207:Edinburgh Seven
2180:
2171:
2167:General Council
2110:
2104:
2100:
2097:
2067:
2066:
2057:
2056:
2052:
2042:
2040:
2030:
2026:
2016:
2014:
2004:
2000:
1990:
1988:
1978:
1974:
1964:
1936:
1932:
1922:
1884:
1880:
1867:
1866:
1862:
1849:
1848:
1844:
1833:"IPAB - InfWeb"
1831:
1830:
1826:
1815:"ICSA - InfWeb"
1813:
1812:
1808:
1797:"ILCC - InfWeb"
1795:
1794:
1790:
1779:"AIAI - InfWeb"
1777:
1776:
1772:
1762:
1760:
1752:
1751:
1747:
1734:
1733:
1729:
1720:
1719:
1715:
1702:
1701:
1697:
1684:
1683:
1676:
1666:
1636:
1632:
1621:
1617:
1607:
1605:
1597:
1596:
1592:
1581:
1577:
1567:
1565:
1561:
1557:
1556:
1547:
1537:
1535:
1530:
1529:
1522:
1512:
1510:
1505:
1504:
1500:
1495:
1413:
1367:
1322:, professor of
1281:Michael Uschold
1263:Stephen Tweedie
1258:Hewlett-Packard
1256:, scientist at
1233:, professor at
1075:
1045:Robert Kowalski
1034:, professor of
1016:, professor of
1001:Mark H. Johnson
962:Geoffrey Hinton
925:Richard Gregory
914:, professor of
821:
787:John Darlington
733:Justine Cassell
666:Samson Abramsky
659:
631:
588:Perdita Stevens
568:Michael O'Boyle
543:Alex Lascarides
523:Aggelos Kiayias
498:Michael Fourman
488:Kousha Etessami
455:
450:
442:
436:
427:
419:
410:
401:
392:
361:The Brain Prize
357:Rumelhart Prize
257:
222:systems biology
162:
154:
150:
146:
103:
93:
71:
60:
58:
49:
28:
23:
22:
15:
12:
11:
5:
2986:
2976:
2975:
2970:
2965:
2960:
2955:
2950:
2901:
2900:
2898:
2897:
2885:
2873:
2861:
2848:
2845:
2844:
2842:
2841:
2836:
2831:
2826:
2821:
2816:
2811:
2806:
2800:
2798:
2794:
2793:
2791:
2790:
2785:
2777:
2769:
2764:
2762:The Improverts
2759:
2754:
2749:
2744:
2739:
2734:
2729:
2728:
2727:
2722:
2717:
2712:
2707:
2702:
2697:
2687:
2681:
2679:
2675:
2674:
2672:
2671:
2666:
2661:
2656:
2651:
2646:
2641:
2636:
2631:
2626:
2621:
2616:
2611:
2606:
2601:
2596:
2591:
2586:
2581:
2576:
2571:
2566:
2561:
2556:
2551:
2546:
2541:
2536:
2531:
2529:Bedlam Theatre
2526:
2524:Appleton Tower
2521:
2516:
2510:
2508:
2504:
2503:
2501:
2500:
2499:
2498:
2493:
2488:
2483:
2478:
2473:
2468:
2463:
2458:
2453:
2448:
2443:
2438:
2433:
2428:
2423:
2418:
2413:
2408:
2403:
2398:
2389:
2388:
2387:
2386:
2381:
2376:
2371:
2360:
2359:
2358:
2357:
2352:
2350:Medical School
2341:
2340:
2339:
2338:
2333:
2328:
2323:
2318:
2313:
2308:
2303:
2298:
2293:
2288:
2283:
2274:
2272:
2266:
2265:
2263:
2262:
2257:
2252:
2246:
2244:
2240:
2239:
2237:
2236:
2231:
2225:
2224:
2219:
2214:
2209:
2204:
2202:Robert Rollock
2199:
2194:
2192:Academic dress
2188:
2186:
2182:
2181:
2174:
2172:
2170:
2169:
2164:
2157:
2151:
2150:
2148:Simon Fanshawe
2139:
2128:
2116:
2114:
2106:
2105:
2096:
2095:
2088:
2081:
2073:
2065:
2064:
2050:
2024:
1998:
1972:
1930:
1878:
1860:
1842:
1824:
1806:
1788:
1770:
1745:
1727:
1713:
1695:
1674:
1648:(PhD thesis).
1630:
1615:
1590:
1575:
1545:
1520:
1497:
1496:
1494:
1491:
1490:
1489:
1484:
1479:
1474:
1469:
1464:
1459:
1454:
1449:
1444:
1439:
1434:
1429:
1424:
1419:
1412:
1409:
1375:Appleton Tower
1366:
1363:
1362:
1361:
1348:
1339:
1330:
1317:
1303:Lincoln Wallen
1300:
1290:Leslie Valiant
1287:
1278:
1269:
1260:
1251:
1242:
1228:
1218:Nigel Shadbolt
1215:
1202:
1193:
1180:
1166:
1157:
1144:
1131:
1128:Timothy O'Shea
1125:
1116:
1107:
1098:
1088:
1070:
1064:
1055:
1042:
1029:
1011:
998:
989:
973:
959:
950:
941:
931:
922:
909:
900:
891:
882:
873:
867:Jeremy Gibbons
864:
855:
843:
833:Grigori Fursin
830:
816:
806:
793:
784:
778:Margarita Chli
775:
762:
753:
743:
730:
717:
708:
694:
681:
672:
658:
657:Notable alumni
655:
654:
653:
651:Jon Oberlander
648:
642:
630:
627:
626:
625:
620:
615:
610:
605:
600:
595:
593:Keith Stenning
590:
585:
580:
575:
573:Gordon Plotkin
570:
565:
560:
555:
550:
545:
540:
538:Mirella Lapata
535:
530:
525:
520:
515:
513:Dragan Gasevic
510:
505:
500:
495:
490:
485:
479:
474:
469:
464:
454:
451:
449:
446:
438:Main article:
435:
432:
426:
423:
418:
415:
409:
406:
400:
397:
391:
388:
298:Gordon Plotkin
256:
253:
185:
184:
176:
175:
160:
156:
155:
152:
148:
142:
140:
136:
135:
132:
126:
125:
122:
120:Undergraduates
116:
115:
112:
108:
107:
104:
101:
98:
97:
94:
92:Academic staff
91:
88:
87:
82:
81:Head of School
78:
77:
72:
69:
66:
65:
55:
51:
50:
43:
26:
9:
6:
4:
3:
2:
2985:
2974:
2971:
2969:
2966:
2964:
2961:
2959:
2956:
2954:
2951:
2949:
2946:
2945:
2943:
2936:
2933:
2896:
2890:
2886:
2884:
2878:
2874:
2872:
2862:
2860:
2850:
2849:
2846:
2840:
2837:
2835:
2832:
2830:
2827:
2825:
2822:
2820:
2817:
2815:
2812:
2810:
2809:Cameron Prize
2807:
2805:
2802:
2801:
2799:
2795:
2789:
2786:
2784:
2782:
2778:
2776:
2774:
2770:
2768:
2765:
2763:
2760:
2758:
2755:
2753:
2750:
2748:
2745:
2743:
2742:Music Society
2740:
2738:
2735:
2733:
2730:
2726:
2723:
2721:
2718:
2716:
2713:
2711:
2708:
2706:
2703:
2701:
2698:
2696:
2693:
2692:
2691:
2688:
2686:
2683:
2682:
2680:
2676:
2670:
2667:
2665:
2662:
2660:
2657:
2655:
2652:
2650:
2647:
2645:
2642:
2640:
2637:
2635:
2632:
2630:
2627:
2625:
2622:
2620:
2617:
2615:
2612:
2610:
2609:Pollock Halls
2607:
2605:
2602:
2600:
2597:
2595:
2592:
2590:
2587:
2585:
2582:
2580:
2577:
2575:
2574:George Square
2572:
2570:
2567:
2565:
2562:
2560:
2557:
2555:
2552:
2550:
2547:
2545:
2542:
2540:
2539:Bristo Square
2537:
2535:
2532:
2530:
2527:
2525:
2522:
2520:
2517:
2515:
2512:
2511:
2509:
2505:
2497:
2494:
2492:
2489:
2487:
2484:
2482:
2479:
2477:
2474:
2472:
2469:
2467:
2464:
2462:
2459:
2457:
2454:
2452:
2449:
2447:
2444:
2442:
2439:
2437:
2434:
2432:
2429:
2427:
2424:
2422:
2419:
2417:
2414:
2412:
2409:
2407:
2404:
2402:
2399:
2397:
2394:
2393:
2391:
2390:
2385:
2382:
2380:
2377:
2375:
2372:
2370:
2367:
2366:
2365:
2362:
2361:
2356:
2353:
2351:
2348:
2347:
2346:
2343:
2342:
2337:
2334:
2332:
2329:
2327:
2324:
2322:
2319:
2317:
2314:
2312:
2309:
2307:
2304:
2302:
2299:
2297:
2294:
2292:
2289:
2287:
2284:
2282:
2279:
2278:
2276:
2275:
2273:
2267:
2261:
2258:
2256:
2253:
2251:
2248:
2247:
2245:
2241:
2235:
2232:
2230:
2227:
2226:
2223:
2220:
2218:
2215:
2213:
2210:
2208:
2205:
2203:
2200:
2198:
2195:
2193:
2190:
2189:
2187:
2183:
2178:
2168:
2165:
2163:
2162:
2158:
2156:
2153:
2152:
2149:
2145:
2144:
2140:
2138:
2134:
2133:
2129:
2127:
2123:
2122:
2118:
2117:
2115:
2113:
2107:
2103:
2094:
2089:
2087:
2082:
2080:
2075:
2074:
2071:
2060:
2054:
2039:
2035:
2028:
2013:
2009:
2002:
1987:
1983:
1976:
1968:
1961:
1957:
1953:
1949:
1948:
1942:
1938:Anon (2014).
1934:
1926:
1919:
1915:
1911:
1907:
1903:
1899:
1895:
1891:
1890:
1882:
1874:
1870:
1864:
1856:
1852:
1846:
1838:
1834:
1828:
1820:
1816:
1810:
1802:
1798:
1792:
1784:
1780:
1774:
1759:
1755:
1749:
1741:
1737:
1731:
1723:
1717:
1709:
1705:
1699:
1691:
1687:
1681:
1679:
1670:
1663:
1659:
1655:
1651:
1647:
1643:
1642:
1634:
1626:
1619:
1604:
1600:
1594:
1586:
1579:
1560:
1554:
1552:
1550:
1533:
1527:
1525:
1508:
1502:
1498:
1488:
1485:
1483:
1480:
1478:
1475:
1473:
1472:Edinburgh IMP
1470:
1468:
1465:
1463:
1460:
1458:
1455:
1453:
1450:
1448:
1445:
1443:
1440:
1438:
1435:
1433:
1430:
1428:
1425:
1423:
1420:
1418:
1415:
1414:
1408:
1406:
1400:
1398:
1394:
1390:
1385:
1383:
1378:
1376:
1372:
1365:Accommodation
1360:
1356:
1352:
1349:
1347:
1343:
1340:
1338:
1334:
1333:Hanna Wallach
1331:
1329:
1325:
1321:
1318:
1316:
1312:
1308:
1304:
1301:
1299:
1295:
1291:
1288:
1286:
1282:
1279:
1277:
1273:
1270:
1268:
1265:, creator of
1264:
1261:
1259:
1255:
1252:
1250:
1246:
1243:
1240:
1236:
1232:
1229:
1227:
1223:
1219:
1216:
1214:
1210:
1206:
1203:
1201:
1197:
1194:
1192:
1188:
1184:
1181:
1178:
1174:
1170:
1167:
1165:
1161:
1158:
1156:
1152:
1149:, creator of
1148:
1147:Martha Palmer
1145:
1143:
1139:
1135:
1132:
1129:
1126:
1124:
1120:
1117:
1115:
1111:
1108:
1106:
1102:
1099:
1096:
1092:
1091:Eugenio Moggi
1089:
1087:
1082:
1078:
1074:
1071:
1068:
1065:
1063:
1059:
1056:
1054:
1050:
1046:
1043:
1041:
1037:
1033:
1032:Philipp Koehn
1030:
1027:
1023:
1019:
1015:
1012:
1010:
1006:
1002:
999:
997:
993:
992:Auke Ijspeert
990:
988:
985:
981:
977:
976:Xuedong Huang
974:
971:
967:
963:
960:
958:
954:
951:
949:
945:
942:
939:
935:
932:
930:
926:
923:
921:
917:
913:
910:
908:
904:
901:
899:
895:
892:
890:
886:
883:
881:
877:
876:Andrew Gordon
874:
872:
868:
865:
863:
859:
856:
854:
851:
847:
844:
842:
838:
834:
831:
829:
824:
820:
817:
814:
810:
807:
805:
801:
797:
794:
792:
788:
785:
783:
779:
776:
774:
770:
766:
763:
761:
758:, creator of
757:
754:
751:
747:
746:Luca Cardelli
744:
742:
738:
734:
731:
729:
725:
721:
720:Alan W. Black
718:
716:
712:
709:
706:
702:
698:
695:
693:
689:
686:, creator of
685:
684:Joe Armstrong
682:
680:
677:, creator of
676:
673:
671:
667:
664:
663:
662:
652:
649:
646:
643:
640:
637:, founder of
636:
635:Donald Michie
633:
632:
624:
623:Bonnie Webber
621:
619:
616:
614:
613:Philip Wadler
611:
609:
606:
604:
601:
599:
596:
594:
591:
589:
586:
584:
583:Mark Steedman
581:
579:
576:
574:
571:
569:
566:
564:
563:Johanna Moore
561:
559:
558:Ursula Martin
556:
554:
553:Fiona McNeill
551:
549:
548:Leonid Libkin
546:
544:
541:
539:
536:
534:
531:
529:
528:Elham Kashefi
526:
524:
521:
519:
518:Jane Hillston
516:
514:
511:
509:
506:
504:
503:Igor Goryanin
501:
499:
496:
494:
491:
489:
486:
483:
480:
478:
475:
473:
472:Peter Buneman
470:
468:
465:
463:
460:
459:
458:
445:
441:
431:
422:
414:
405:
396:
387:
384:
382:
378:
374:
370:
362:
358:
354:
349:
343:
338:
332:
327:
321:
316:
310:
305:
299:
294:
288:
283:
277:
276:Philip Wadler
272:
266:
261:
252:
250:
246:
242:
238:
233:
231:
227:
223:
219:
215:
210:
208:
204:
200:
196:
192:
182:
177:
173:
161:
157:
145:
141:
137:
133:
131:
130:Postgraduates
127:
123:
121:
117:
113:
109:
105:
99:
95:
89:
86:
83:
79:
76:
73:
67:
56:
52:
47:
41:
36:
30:
19:
2905:
2780:
2772:
2690:Sports Union
2678:Student life
2378:
2159:
2141:
2130:
2119:
2053:
2041:. Retrieved
2037:
2027:
2015:. Retrieved
2012:the Guardian
2011:
2001:
1989:. Retrieved
1986:the Guardian
1985:
1975:
1945:
1933:
1894:lib.ed.ac.uk
1893:
1888:
1881:
1872:
1863:
1854:
1845:
1836:
1827:
1818:
1809:
1800:
1791:
1782:
1773:
1761:. Retrieved
1757:
1748:
1739:
1730:
1716:
1707:
1698:
1689:
1646:lib.ed.ac.uk
1645:
1640:
1633:
1625:"CSRankings"
1618:
1606:. Retrieved
1602:
1593:
1585:"CSRankings"
1578:
1566:. Retrieved
1536:. Retrieved
1513:11 September
1511:. Retrieved
1507:"Contact us"
1501:
1401:
1397:Buro Happold
1386:
1379:
1368:
1294:Turing Award
1245:Aaron Sloman
1205:Sue Sentance
1119:Alan Mycroft
1086:Turing Award
1073:Robin Milner
970:Turing Award
966:Google Brain
819:Paul Dourish
697:Andrew Blake
660:
618:Barbara Webb
598:Amos Storkey
578:Don Sannella
533:Frank Keller
482:Rod Burstall
456:
443:
428:
420:
411:
402:
393:
385:
366:
359:in 2012 and
240:
234:
211:
190:
188:
172:/informatics
85:Helen Hastie
29:
2927: /
2783:(newspaper)
2781:The Student
2775:(newspaper)
2773:The Journal
2599:Old College
2594:New College
2589:McEwan Hall
2379:Informatics
2374:GeoSciences
2296:Moray House
2197:Robert Reid
1254:Chris Tofts
1239:Gödel Prize
1173:Google Maps
1049:Horn clause
1026:Gödel Prize
1014:Mark Jerrum
903:Alex Graves
846:Carla Gomes
809:Peter Dayan
796:Bruce Davie
752:, Cambridge
603:Austin Tate
353:Peter Dayan
287:Austin Tate
203:informatics
54:Established
2942:Categories
2912:55°56âČ40âłN
2894:Wikisource
2797:Associated
2534:BioQuarter
2519:Adam House
2121:Chancellor
2111:Governance
1969:required.)
1654:1842/14754
1493:References
1320:Toby Walsh
1311:Improbable
1272:Mads Tofte
782:ETH ZĂŒrich
756:Ian Clarke
675:Pat Ambler
493:Wenfei Fan
484:, emeritus
467:Alan Bundy
351:Professor
340:Professor
331:Alan Bundy
329:Professor
318:Professor
309:Wenfei Fan
307:Professor
296:Professor
285:Professor
274:Professor
263:Professor
241:CSRankings
2915:3°11âČ14âłW
2705:Boat Club
2614:Potterrow
2604:Pleasance
2369:Chemistry
2286:Economics
2271:divisions
2132:Principal
1947:Who's Who
1902:1842/8121
1708:rae.ac.uk
1690:rae.ac.uk
1452:Freddy II
1432:WxWidgets
984:Microsoft
934:Pat Hayes
898:Amazon UK
894:Doug Gurr
711:Bob Boyer
707:in London
679:Freddy II
641:in the UK
144:Edinburgh
2882:Wikinews
2858:Category
2281:Business
2269:Academic
2043:30 March
2017:30 March
1991:30 March
1910:18656113
1869:"People"
1763:30 March
1411:See also
1355:DeepMind
1241:Laureate
1187:System F
1177:Facebook
1151:PropBank
1028:Laureate
987:Azure AI
907:DeepMind
371:'s 2001
255:Research
199:Scotland
149:Scotland
139:Location
111:Students
2870:Commons
2569:Library
2476:MRC HGU
2185:History
1326:at the
1179:London.
1155:VerbNet
1020:at the
760:Freenet
453:Current
251:(NLP).
159:Website
59: (
2507:Places
2243:People
2143:Rector
1916:
1908:
1660:
1608:15 May
1427:Prolog
1138:COWSEL
1058:LÇ WĂši
1053:Prolog
804:VMware
688:Erlang
629:Former
2461:ISSTI
2441:ESALA
1914:EThOS
1658:EThOS
1568:9 May
1562:(PDF)
1538:9 May
1477:QCDOC
1437:Moses
1142:POP-2
1095:Monad
1079:
837:MLOps
369:HEFCE
197:, in
2496:UKCA
2471:LFCS
2456:ICMS
2451:IASH
2436:EPCC
2426:ECRC
2416:CTPI
2411:CSWC
2396:AIAI
2045:2021
2019:2021
1993:2021
1906:OCLC
1765:2021
1610:2022
1570:2018
1540:2018
1515:2018
1442:Hope
1369:The
1357:and
1328:UNSW
1267:ext3
1153:and
1140:and
1081:FRSE
996:EPFL
823:FACM
773:CERN
228:and
189:The
124:1020
114:1717
61:1998
57:1998
44:The
2431:EDI
2421:DCC
2406:CRM
2401:CHB
2311:Law
1956:doi
1898:hdl
1650:hdl
1462:LCF
1447:NPL
1335:at
1309:of
1307:CTO
1077:FRS
1038:at
982:of
980:CTO
918:at
878:at
802:of
800:CTO
377:RAE
373:RAE
170:.uk
168:.ac
166:.ed
164:www
134:697
96:370
2944::
2146::
2135::
2124::
2036:.
2010:.
1984:.
1944:.
1912:.
1904:.
1892:.
1871:.
1853:.
1835:.
1817:.
1799:.
1781:.
1756:.
1738:.
1706:.
1688:.
1677:^
1656:.
1644:.
1601:.
1548:^
1523:^
1422:ML
1407:.
1305:,
1237:,
1024:,
978:,
798:,
767:,
739:,
726:,
224:,
220:,
216:,
153:UK
151:,
147:,
106:96
2092:e
2085:t
2078:v
2061:.
2047:.
2021:.
1995:.
1962:.
1958::
1920:.
1900::
1875:.
1857:.
1839:.
1821:.
1803:.
1785:.
1767:.
1742:.
1724:.
1710:.
1692:.
1664:.
1652::
1627:.
1612:.
1587:.
1572:.
1542:.
1517:.
972:.
63:)
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.