Школа информатики Эдинбургского университета
Форум информатики , где с 2008 года находится Школа информатики. | |
Учредил | 1998 |
---|---|
Головное учреждение | Эдинбургский университет |
Руководитель школы | Хелен Хэсти [1] |
Академический состав | 370 [2] |
Административный персонал | 96 [2] |
Студенты | 1717 [3] |
Студенты | 1020 [3] |
Аспиранты | 697 [3] |
Расположение | , Шотландия , Великобритания |
Веб-сайт | www |
![]() |
Школа информатики — академическое подразделение Эдинбургского университета в Шотландии , отвечающее за исследования, преподавание, информационно-пропагандистскую деятельность и коммерциализацию в области информатики . Он был создан в 1998 году на базе бывшего отдела искусственного интеллекта, Центра когнитивных наук и факультета компьютерных наук, а также Института приложений искусственного интеллекта (AIAI) и Исследовательского центра человеческого общения. [ нужна ссылка ]
Исследования в Школе информатики опираются на несколько дисциплин. Школа особенно известна исследованиями в области искусственного интеллекта , компьютерной лингвистики , системной биологии , математической логики и теоретической информатики ; но также вносит вклад во многие другие области информатики.
Школа информатики занимает 20-е место в мире по версии QS World University Rankings 2023. По состоянию на 2022 год школа занимает 1-е место в Великобритании по версии CSRankings . [4] 1-е место в Великобритании в рейтинге Research Excellence Framework (REF) 2021 года по исследовательской мощности, [5] и первое место в мире по обработке естественного языка (NLP). [6]
Исследовать
[ редактировать ]







Школа информатики получила оценку 5*А. [8] в британском HEFCE 2001 года RAE , единственном факультете информатики в стране, получившем этот максимально возможный рейтинг. [8] В RAE 2008 года «Профиль качества» Школы составил 35/50/15/0/0, что означает, что из более чем 100 оцененных результатов исследований сотрудников, работающих при полной занятости (FTE), 35% были признаны «ведущими в мире» ( 4*)» и 50% «отлично на международном уровне (3*)». [9] Эти цифры можно интерпретировать по-разному, но школа ставится на первое место по объему и на второе место (после Кембриджа с 45/45/10/0/0) по проценту исследований с рейтингом 3* или 4*. [10] Школа обычно считается ведущей в мире и стоит в одном ряду с ведущими институтами США, особенно в таких областях, как искусственный интеллект, обработка естественного языка и машинный перевод, а также теоретическая информатика.
Школа имеет ряд научно-исследовательских институтов:
Институт адаптивных и нейронных вычислений: АНК
[ редактировать ]АНК [11] исследует теоретические и эмпирические исследования процессов мозга и систем искусственного обучения, опираясь на нейробиологию, когнитивную науку, информатику, вычислительную науку, математику и статистику.
Институт искусственного интеллекта и его приложений: AIAI
[ редактировать ]Ранее известный как CISA (Центр интеллектуальных систем и их приложений), [12] Институт искусственного интеллекта и его приложений (AIAI) [13] работает над основами искусственного интеллекта и автономных систем, а также их применением для решения реальных проблем.
Институт языка, познания и вычислений: ILCC
[ редактировать ]ILCC проводит исследования по всем аспектам обработки естественного языка, опираясь на машинное обучение, статистическое моделирование, а также вычислительные, психологические и лингвистические теории общения между людьми, а также между людьми и машинами с использованием текста, речи и других модальностей. [14]
Институт архитектуры вычислительных систем: ICSA
[ редактировать ]ИКСА [15] выполняет исследования по архитектуре и проектированию будущих вычислительных систем: производительность и масштабируемость; инновационные алгоритмы, архитектуры, компиляторы, языки и протоколы.
Институт восприятия, действия и поведения: IPAB
[ редактировать ]ИПАБ [16] связывает вычислительные действия, восприятие, представление, преобразование и процессы генерации с реальными или виртуальными мирами: статистическое машинное обучение, компьютерное зрение, мобильная и гуманоидная робототехника, управление моторикой, графика и визуализация.
Лаборатория основ информатики: LFCS
[ редактировать ]ОФКС [17] Разрабатывает и применяет фундаментальное понимание вычислений и коммуникации: формальные модели, математические теории и программные инструменты.
Старшие научные сотрудники и выпускники
[ редактировать ]Текущий
[ редактировать ]Старший преподавательский состав [18] включать:
- Малкольм Аткинсон FRSE
- Алан Банди CBE FRS FREng FACM FAAAI
- Питер Бунеман MBE FRS FRSE FACM
- Кристофер Бишоп FRS FREng FRSE
- Род Берстолл FRSE , почетный
- Куша Этессами
- Вэньфэй Вентилятор FRS FRSE MAE FACM
- Майкл Фурман FRSE
- Игорь Горянин
- Шэрон Голдуотер
- Драган Гашевич
- Джейн Хиллстон FRS FRSE MAE
- Аггелос Киайяс FRSE
- Эльхам Кашефи
- Фрэнк Келлер
- Мирелла Лапата FRSE MAE FACL
- Алекс Ласкаридес FRSE
- Леонид Либкин ФРГЭ МАЭ ФАКМ
- Фиона Макнил FRSE FBCS
- Урсула Мартин CBE FRSE FREng
- Джоанна Мур FRSE
- Майкл О'Бойл
- Гордон Плоткин ФРС ФРСЭ МАЭ FACM
- Дон Саннелла FRSE
- Марк Стидман FBA FRSE MAE FAAAI FACL
- Потерянный Стивенс
- Кейт Стеннинг
- Амос Сторки
- Остин Тейт FREng FRSE FAAAI
- Сету Виджаякумар , FRSE
- Филип Вадлер FRS FRSE FACM
- Барбара Уэбб
- Бонни Уэббер FRSE FAAAI
Бывший
[ редактировать ]- Дональд Мичи FRSE , основатель искусственного интеллекта в Великобритании
- Сидни Майклсон FRSE , председатель фонда бывшего факультета информатики.
- Джон Оберландер FRSE
Известные выпускники
[ редактировать ]Среди выпускников школы информатики:
- Самсон Абрамский ФРС МАЭ FACM , ученый-компьютерщик Оксфордского университета
- Пэт Эмблер , создатель Freddy II
- Джо Армстронг , создатель языка программирования Erlang и Open Telecom Platform (OTP)
- Эндрю Блейк, FRS FREng , ученый-компьютерщик и бывший директор исследовательского центра Microsoft в Кембридже и Институте Алана Тьюринга в Лондоне.
- Боб Бойер FAAAI , ученый-компьютерщик, математик, философ из Техасского университета в Остине
- Алан Блэк , профессор Института языковых технологий Университета Карнеги-Меллона
- Жюстин Касселл FACM , профессор Института взаимодействия человека и компьютера Университета Карнеги-Меллона
- Лука Карделли FRS FRSE FACM , ученый-компьютерщик, помощник директора Microsoft Research , Кембридж
- Ян Кларк , создатель Freenet
- Розмари Кэндлин , кристаллограф и ученый-компьютерщик из ЦЕРН
- Маргарита Хли , руководитель лаборатории Vision for Robotics в ETH Zürich
- Джон Дарлингтон , почетный профессор Имперского колледжа Лондона
- Брюс Дэви , директор VMware технический
- Питер Даян FRS , директор Института биологической кибернетики Макса Планка в Тюбингене, Германия
- Пол Дуриш FACM , профессор Калифорнийского университета в Ирвине
- Григорий Фурсин , вице-президент MLOps , президент фонда CTuning
- Карла Гомес FACM FAAAI , ученый-компьютерщик, директор-основатель Корнеллского университета Института вычислительной устойчивости
- Лесли Энн Голдберг , МАЭ , ученый-компьютерщик из Оксфордского университета.
- Джереми Гиббонс , профессор вычислительной техники Оксфордского университета
- Эндрю Гордон из Microsoft Research
- Майкл Дж. К. Гордон, FRS (1948–2017), ученый-компьютерщик из Кембриджского университета.
- Дуг Гурр , глобальный вице-президент и глава Amazon UK
- Алекс Грейвс , ученый-компьютерщик из Google DeepMind
- Филиппа Гарднер , профессор теоретической информатики Имперского колледжа Лондона.
- Ричард Грегори FRS FRSE (1923–2010), когнитивист Бристольского университета
- Пэт Хейс (FAAAI) , старший научный сотрудник Института человеческого и машинного познания в Пенсаколе, Флорида
- Роберт Харпер (ученый-компьютерщик) FACM , профессор информатики Университета Карнеги-Меллона
- Мэтью Хеннесси МЭ , соавтор логики Хеннесси-Милнера
- Джеффри Хинтон, FRS FAAAI , ученый-компьютерщик из Google Brain и лауреат премии Тьюринга . [19]
- Сюэдун Хуан , технический директор Microsoft FACM Azure AI
- Ауке Эйсперт , руководитель лаборатории биоробототехники в EPFL
- Марк Х. Джонсон, FBA , когнитивный нейробиолог и исследователь интерфейса «мозг-компьютер» , заведующий кафедрой психологии Кембриджского университета.
- Марк Джеррум , профессор чистой математики , Лондонского университета лауреат Гёделя премии
- Филипп Кён , профессор машинного перевода Университета Джонса Хопкинса
- Роберт Ковальски FACM FAAAI , логик, чья интерпретация предложения Хорна в Эдинбурге сыграла важную роль в создании Пролога.
- Лю Вэй , математик и ученый-компьютерщик, президент Бэйханского университета
- Кристофер Лонге-Хиггинс (1923–2004) FRS FRSE FRSA , ученый-когнитивист
- Робин Милнер FRS FRSE FACM (1934–2010), ученый-компьютерщик, лауреат премии Тьюринга
- Эудженио Моджи , первый, кто явно связал Монаду теории категорий с функциональным программированием.
- Дж. Стротер Мур FRSE FACM FAAAI , ученый-компьютерщик Техасского университета в Остине
- Стивен Магглтон FREng FAAAI , руководитель лаборатории вычислительной биоинформатики Имперского колледжа Лондона
- Алан Майкрофт , профессор компьютерной лаборатории Кембриджского университета
- Тимоти О'Ши FRSE , почетный профессор, бывший директор и вице-канцлер Эдинбургского университета
- Робин Попплстоун FAAAI (1938–2004), создатель COWSEL и POP-2.
- Марта Палмер FACL , создательница PropBank и VerbNet
- Бенджамин К. Пирс , профессор информатики Генри Сальватори Пенсильванского университета
- Ларс Расмуссен (разработчик программного обеспечения) , сооснователь Google Maps , бывший технический директор (CTO) Facebook в Лондоне.
- Джон К. Рейнольдс (1935–2013) FACM , изобретатель Системы F и профессор информатики в Университете Карнеги-Меллон.
- Давиде Санджорджи МАЭ , профессор Болонского университета
- Сью Сентанс , директор Исследовательского центра компьютерного образования Raspberry Pi Foundation , Кембриджский университет
- Найджел Шедболт [20] FRS FREng , председатель Института открытых данных (ODI) и магистр колледжа Иисуса, Оксфорд
- Алистер Синклер , профессор Калифорнийского университета в Беркли , премии Гёделя лауреат
- Аарон Сломан (FAAAI) , философ, когнитивист из Бирмингемского университета
- Крис Тофтс , учёный Hewlett-Packard
- Стивен Твиди , создатель ext3
- Мадс Тофте , профессор ИТ-университета Копенгагена
- Майкл Ушолд , научный сотрудник Boeing Phantom Works
- Лесли Валиант , FRS FAAAI , лауреат премии Тьюринга 2010 года и профессор Гарвардского университета.
- Линкольн Уоллен , директор Improbable технический , бывший технический директор DreamWorks Animation
- Тоби Уолш FAAAI , профессор искусственного интеллекта UNSW FACM
- Ханна Уоллак из Microsoft Research
- Дэвид Х.Д. Уоррен , создатель Абстрактной машины Уоррена
- Эндрю Зиссерман, FRS , ученый-компьютерщик из Google DeepMind и Оксфордского университета
Размещение
[ редактировать ]Пожар в Каугете в 2002 году уничтожил ряд зданий. [21] в том числе 80 South Bridge, в котором размещалась около четверти школы и ее знаменитая библиотека искусственного интеллекта. [22] было выделено место в университетской башне Эпплтон . К январю 2003 года в качестве замены [23]
До июня 2008 года школа была рассредоточена по пяти объектам: три в кампусе Джордж-Сквер: Эпплтон-Тауэр, Баклю-Плейс, Форрест-Хилл; и два в Королевских зданиях : здание Джеймса Клерка Максвелла и здание Дарвина.
В июне и июле 2008 года исследования Школы переехали в новый дом — Форум информатики . Здание, спроектированное Bennetts Associates , Reaich and Hall и Buro Happold , сейчас [ когда? ] в нем работают около 500 исследователей, включая сотрудников и аспирантов. Строительство началось в октябре 2005 года, а завершение Форума в июле 2008 года наконец собрало исследователей Школы под одной крышей, примерно через десять лет после ее создания.
В августе 2018 года Школа получила еще одно исследовательское пространство в виде Байесовского центра, специально созданного центра науки о данных и искусственного интеллекта, который используется совместно с множеством других групп по науке о данных и информатике. [24] а также Университетский институт аспирантуры Максвелла, включающий результаты докторских исследований математических факультетов Эдинбурга и Университета Хериот-Ватт .
См. также
[ редактировать ]- Эдинбургский параллельный вычислительный центр
- МЛ
- Пролог
- WxВиджеты
- Моисей
- Надеяться
- НОК
- Фредди II
- Система синтеза фестивальной речи
- LCF
- Эдинбургская система множественного доступа
- Эдинбургский ИМП
- ККДОК
- Символический искусственный интеллект
- Отчет Лайтхилла
Ссылки
[ редактировать ]- ^ "Связаться с нами" . Школа информатики Эдинбургского университета. 11 сентября 2018 года . Проверено 11 сентября 2018 г.
- ^ Jump up to: а б «Численность персонала и статистика эквивалента полной занятости (FTE) по состоянию на 17 октября» . Отдел кадров, Эдинбургский университет. Октябрь 2018 года . Проверено 9 мая 2018 г.
- ^ Jump up to: а б с «Информационный бюллетень Эдинбургского университета на 2017/2018 год» (PDF) . Управление и стратегическое планирование, Эдинбургский университет. 31 января 2018 года . Проверено 9 мая 2018 г.
- ^ Бергер, Эмери Д. (2020). «CSRankings» .
- ^ «Рейтинги исследований подтверждают, что Эдинбург является мировым лидером» . Эдинбургский университет . Проверено 15 мая 2022 г.
- ^ Бергер, Эмери Д. (2020). «CSRankings» .
- ^ Даян, Питер Сэмюэл (1991). Укрепление коннекционизма: изучение статистическим путем . lib.ed.ac.uk (кандидатская диссертация). hdl : 1842/14754 . EThOS uk.bl.ethos.649240 .
- ^ Jump up to: а б «РАЭ 2001: Итоги» . rae.ac.uk.
- ^ «RAE 2008: Профили качества» . rae.ac.uk.
- ^ «Новости информатики: Итоги RAE 2008: Информатика и информатика» .
- ^ «Добро пожаловать — АНК — Институт адаптивных и нейронных вычислений» . www.anc.ed.ac.uk.
- ^ «CISA меняет название | InfWeb» . web.inf.ed.ac.uk. Проверено 30 марта 2021 г.
- ^ «АИИА-ИнфВеб» . web.inf.ed.ac.uk.
- ^ «ILCC-ИнфВеб» . web.inf.ed.ac.uk.
- ^ «ИКСА-ИнфВеб» . web.inf.ed.ac.uk.
- ^ «ИПАБ-ИнфВеб» . web.inf.ed.ac.uk.
- ^ «Добро пожаловать в LFCS — LFCS» . wcms.inf.ed.ac.uk.
- ^ "Люди" . Эдинбургский университет .
- ^ Хинтон, Джеффри Эверест (1977). Расслабление и его роль в зрении . lib.ed.ac.uk (кандидатская диссертация). Эдинбургский университет. hdl : 1842/8121 . OCLC 18656113 . EThOS uk.bl.ethos.482889 .
- ^ Анон (2014). «Шэдболт, профессор Найджел Ричард» . Кто есть кто (интернет-издание под ред . Oxford University Press ). А&С Черный. дои : 10.1093/ww/9780199540884.013.U245873 . (Требуется подписка или членство в публичной библиотеке Великобритании .)
- ^ Синан, Джерард (9 декабря 2002 г.). «Пожар опустошает Старый город Эдинбурга» . Хранитель . Проверено 30 марта 2021 г.
- ^ агентства, Персонал и (9 декабря 2002 г.). «Эдинбургский архив AI погиб в огне» . Хранитель . Проверено 30 марта 2021 г.
- ^ Фурман, Майкл Пол. «Чрезвычайные меры» . www.inf.ed.ac.uk. Проверено 30 марта 2021 г.
- ^ «Группы внутри Байесовского центра» .