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]

• Ґордон Плоткін^[en] (Операційна семантика)
• Філіп Уодлер^[en] (Haskell, Узагальнення в Java)
• Джейн Хілстон^[en] (PEPA^[en])
• Род Бурсталл^[en], та ін.