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

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

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

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