Перейти до вмісту

Лабораторія основ інформатики LFCS

Координати: 55°56′41″ пн. ш. 3°11′14.5″ зх. д. / 55.94472° пн. ш. 3.187361° зх. д. / 55.94472; -3.187361
Матеріал з Вікіпедії — вільної енциклопедії.

55°56′41″ пн. ш. 3°11′14.5″ зх. д. / 55.94472° пн. ш. 3.187361° зх. д. / 55.94472; -3.187361

Лабораторія основ інформатики LFCS
Сучасне розташування інституту
Сучасне розташування інституту
Сучасне розташування інституту
Основні дані
Засновано 1987
Приналежність Единбурзький університет
Контакт
Ключові особи Робін Мілнер
Розташування Велика Британія, Единбург
Країна  Велика Британія
Адреса англ. Informatics Forum,
10 Cricton Street,
City of Edinburgh,
Scotland,
United Kingdom,
EH8 9AB[1]
Тип академічна установа[d]
Вебсторінка Офіційний сайт (англ. )]
Мапа
Мапа

Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (Род Бурсталл[en], Ґордон Плоткін[en], Метью Хеннессі[en]).[2] Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.[3]

Колишнє розташування інституту (JCMB, King's Buildings), до 2007 року.

Науковці

[ред. | ред. код]

Посилання

[ред. | ред. код]
  1. ↑ (англ. ) LFCS contact information.
  2. ↑ (англ. ) Інтерв'ю з Робіном Мілнером, січень 2010 [Архівовано 8 грудня 2015 у Wayback Machine.].
  3. ↑ (англ. ) (Video) LFCS research in a nutshell [Архівовано 8 грудня 2015 у Wayback Machine.].
Отримано з https://uk.wikipedia.org/w/index.php?title=Лабораторія_основ_інформатики_LFCS&oldid=37272167