Координати: 55°56′41″ пн. ш. 3°11′14″ зх. д. / 55.94472° пн. ш. 3.187361° зх. д.
Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (Род Бурсталл[en], Ґордон Плоткін[en], Метью Хеннессі[en]). Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.
Лабораторія основ інформатики LFCS | |
---|---|
Сучасне розташування інституту | |
Основні дані | |
Засновано | 1987 |
Приналежність | Единбурзький університет |
Контакт | |
Ключові особи | Робін Мілнер |
Розташування | , Единбург |
Країна | Велика Британія |
Адреса | англ. Informatics Forum, 10 Cricton Street, City of Edinburgh, Scotland, United Kingdom, EH8 9AB |
Тип | академічна установа[d] |
Вебсторінка | Офіційний сайт (англ. )] |
Мапа | |
Науковці ред.
- Ґордон Плоткін[en] (Операційна семантика)
- Філіп Уодлер[en] (Haskell, Узагальнення в Java)
- Джейн Хілстон[en] (PEPA[en])
- Род Бурсталл[en], та ін.
Посилання ред.
- (англ. ) LFCS contact information.
- (англ. ) Інтерв'ю з Робіном Мілнером, січень 2010 [ 8 грудня 2015 у Wayback Machine.].
- (англ. ) (Video) LFCS research in a nutshell [ 8 грудня 2015 у Wayback Machine.].