Лабораторія основ інформатики LFCS
Перейти до навігації
Перейти до пошуку
Координати: 55°56′41″ пн. ш. 3°11′14″ зх. д. / 55.94472° пн. ш. 3.187361° зх. д.
| Лабораторія основ інформатики LFCS | ||||
|---|---|---|---|---|
 | ||||
| Сучасне розташування інституту | ||||
Основні дані
| ||||
| Засновано | 1987 | |||
| Приналежність | Единбурзький університет | |||
Контакт
| ||||
| Ключові особи | Робін Мілнер | |||
| Розташування |
.svg){kind=small} , Единбург | |||
| Країна |
.svg){kind=small} Велика Британія | |||
| Адреса |
англ. 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]
Науковці[ред. | ред. код]
- Ґордон Плоткін[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.].
